{"created":"2023-05-15T11:44:21.423701+00:00","id":2637,"links":{},"metadata":{"_buckets":{"deposit":"34699b84-7150-426b-950d-4ce199889952"},"_deposit":{"created_by":10,"id":"2637","owners":[10],"pid":{"revision_id":0,"type":"depid","value":"2637"},"status":"published"},"_oai":{"id":"oai:nuis.repo.nii.ac.jp:00002637","sets":["8:82:83"]},"author_link":["2909","3135"],"item_10002_biblio_info_7":{"attribute_name":"書誌情報","attribute_value_mlt":[{"bibliographicIssueDates":{"bibliographicIssueDate":"2015-04-01","bibliographicIssueDateType":"Issued"},"bibliographicPageEnd":"10","bibliographicPageStart":"1","bibliographicVolumeNumber":"1","bibliographic_titles":[{"bibliographic_title":"新潟国際情報大学情報文化学部紀要"}]}]},"item_10002_description_5":{"attribute_name":"抄録","attribute_value_mlt":[{"subitem_description":"In this paper we will introduce a referential relation between pair-sentences similar to the identity connective in SCI. Here pair-sentence statements of the form (A,B) read as “A is referential to B”. Then by interpreting the pair-sentence (A,B) as a sequence of referential relation such that the referential recursive pattern A B0 B1 B2 . . .B0 B1 B2 . . .holds, we will formalize a pair sentential calculus and represent the behavior of Liar sentence.To formalize the pair sentential calculus, we firstly introduce the stage numbers i, j in which each of pair-sentence holds, i.e., (Ai,Bj) and which means a situation of A at a stage i is referential to the situation of B at a stage j. We also introduce a referential cycle number of (Ai,Bj) and by using of this cycle number, we may classify pair-sentences into two categories, that is, categorical and paradoxical. Then each Liar sentence has a referential cycle number of n such that n 2 and is paradoxical.","subitem_description_type":"Abstract"}]},"item_10002_publisher_8":{"attribute_name":"出版者","attribute_value_mlt":[{"subitem_publisher":"新潟国際情報大学情報文化学部"}]},"item_10002_source_id_11":{"attribute_name":"書誌レコードID（NCID）","attribute_value_mlt":[{"subitem_source_identifier":"AA11231962","subitem_source_identifier_type":"NCID"}]},"item_10002_source_id_9":{"attribute_name":"ISSN","attribute_value_mlt":[{"subitem_source_identifier":"1343-490X","subitem_source_identifier_type":"ISSN"}]},"item_10002_version_type_20":{"attribute_name":"著者版フラグ","attribute_value_mlt":[{"subitem_version_resource":"http://purl.org/coar/version/c_970fb48d4fbd8a85","subitem_version_type":"VoR"}]},"item_creator":{"attribute_name":"著者","attribute_type":"creator","attribute_value_mlt":[{"creatorNames":[{"creatorName":"Ishii, Tadao"},{"creatorName":"イシイ, タダオ","creatorNameLang":"ja-Kana"}],"nameIdentifiers":[{"nameIdentifier":"2909","nameIdentifierScheme":"WEKO"}]},{"creatorNames":[{"creatorName":"Ishii, Tadao","creatorNameLang":"en"}],"nameIdentifiers":[{"nameIdentifier":"3135","nameIdentifierScheme":"WEKO"}]}]},"item_files":{"attribute_name":"ファイル情報","attribute_type":"file","attribute_value_mlt":[{"accessrole":"open_date","date":[{"dateType":"Available","dateValue":"2018-07-09"}],"displaytype":"detail","filename":"kiyo_2015.01.03.pdf","filesize":[{"value":"200.2 kB"}],"format":"application/pdf","licensetype":"license_note","mimetype":"application/pdf","url":{"label":"kiyo_2015.01.03.pdf","url":"https://nuis.repo.nii.ac.jp/record/2637/files/kiyo_2015.01.03.pdf"},"version_id":"44a2deaf-2ae3-497c-8392-1bf2a623b22c"}]},"item_keyword":{"attribute_name":"キーワード","attribute_value_mlt":[{"subitem_subject":"SCI","subitem_subject_scheme":"Other"},{"subitem_subject":"pair-sentence","subitem_subject_scheme":"Other"},{"subitem_subject":"Liar paradox","subitem_subject_scheme":"Other"},{"subitem_subject":"four-valued logic","subitem_subject_scheme":"Other"},{"subitem_subject":"paraconsistent logic","subitem_subject_scheme":"Other"},{"subitem_subject":"SCI","subitem_subject_language":"en","subitem_subject_scheme":"Other"},{"subitem_subject":"pair-sentence","subitem_subject_language":"en","subitem_subject_scheme":"Other"},{"subitem_subject":"Liar paradox","subitem_subject_language":"en","subitem_subject_scheme":"Other"},{"subitem_subject":"four-valued logic","subitem_subject_language":"en","subitem_subject_scheme":"Other"},{"subitem_subject":"paraconsistent logic","subitem_subject_language":"en","subitem_subject_scheme":"Other"}]},"item_language":{"attribute_name":"言語","attribute_value_mlt":[{"subitem_language":"eng"}]},"item_resource_type":{"attribute_name":"資源タイプ","attribute_value_mlt":[{"resourcetype":"departmental bulletin paper","resourceuri":"http://purl.org/coar/resource_type/c_6501"}]},"item_title":"A system of pair sentential calculus that has a representation of the Liar sentence","item_titles":{"attribute_name":"タイトル","attribute_value_mlt":[{"subitem_title":"A system of pair sentential calculus that has a representation of the Liar sentence"},{"subitem_title":"A system of pair sentential calculus that has a representation of the Liar sentence","subitem_title_language":"en"}]},"item_type_id":"10002","owner":"10","path":["83"],"pubdate":{"attribute_name":"公開日","attribute_value":"2015-04-14"},"publish_date":"2015-04-14","publish_status":"0","recid":"2637","relation_version_is_last":true,"title":["A system of pair sentential calculus that has a representation of the Liar sentence"],"weko_creator_id":"10","weko_shared_id":-1},"updated":"2023-05-15T12:19:38.749072+00:00"}