{"entities":{"Q639681":{"pageid":641529,"ns":120,"title":"Item:Q639681","lastrevid":51331568,"modified":"2026-01-17T19:27:53Z","type":"item","id":"Q639681","labels":{"en":{"language":"en","value":"Completeness and cut-elimination theorems for trilattice logics"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 5949196"}},"aliases":{},"claims":{"P31":[{"mainsnak":{"snaktype":"value","property":"P31","hash":"fd5912e4dab4b881a8eb0eb27e7893fef55176ad","datavalue":{"value":{"entity-type":"item","numeric-id":56887,"id":"Q56887"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q639681$D51B1DB5-D231-4E72-B4FF-76BFFE52AFBE","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"c4f06056978ab16f444197d1dde9431b4d4cc08a","datavalue":{"value":{"text":"Completeness and cut-elimination theorems for trilattice logics","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q639681$BEB9ADF0-BF30-4A0E-812A-C38AAA3B3F55","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"138c07504b02bc0079ad2a277b0511166d0de5ad","datavalue":{"value":"1225.03024","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q639681$58B45CC7-9C84-4736-B82D-D80159E53146","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"b08dfd6f0c1552627dfd33698447ccae094e7af5","datavalue":{"value":{"entity-type":"item","numeric-id":266882,"id":"Q266882"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q639681$E7B5045B-A51C-4817-9BBA-0ADDB34D9865","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"858bb220443cbe848419646c0bc40cd0c281b808","datavalue":{"value":{"entity-type":"item","numeric-id":496328,"id":"Q496328"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q639681$4C283113-20EE-49B3-95E9-E45F079E2294","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"f91a4bcbc93435aed71775d25a4c5cd09e26f12d","datavalue":{"value":{"entity-type":"item","numeric-id":122505,"id":"Q122505"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q639681$4DCB9AD4-BF99-4037-BD8B-CD998AC325F1","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"0e0f911d6f8277fb245d8e09b637e9a88b18bd10","datavalue":{"value":{"time":"+2011-09-22T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q639681$49965F55-9316-4027-B763-0EAFB57BAF00","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"76543dbec863531308e9e933055e7e266b5a0ce8","datavalue":{"value":"The paper deals with Gentzen-type formulations of logics (see [\\textit{S. P. Odintsov}, Stud. Log. 91, No.~3, 407--428 (2009; Zbl 1170.03014)]), related to the trilattice \\(\\mathit{SIXTEEN}_3\\) (see [\\textit{Y. Shramko} and \\textit{H. Wansing}, J. Philos. Log. 34, No.~2, 121--153 (2005; Zbl 1094.03012)]). The authors present a sequent calculus \\(L_{16}\\) for Odintsov's logic \\(L_B\\), differing from the sequent calculus \\(GL_B\\) introduced in an earlier paper by the same authors [Rev. Symb. Log. 2, No.~2, 374--395 (2009; Zbl 1174.03008)]. By using the Maehara's method, it is shown that the calculus \\(L_{16}\\) is strongly complete with respect to a variant of the co-ordinate valuations semantics introduced by Odintsov, enabling a semantic proof of the cut-elimination theorem. Sch\u00fctte's method, involving the notion of saturated sequents, is used in the proof that the corresponding first-order extension of \\(F_{16}\\) is sound and complete with respect to first-order models, giving, as a by-product, a semantical proof of the cut-elimination theorem.","type":"string"},"datatype":"string"},"type":"statement","id":"Q639681$A7476583-3972-42D5-9CAD-AA572C74EC07","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"bf715f882d7ad0c07303aa3e6e3ac3725da52515","datavalue":{"value":"03B50","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q639681$1A0AA3F9-34EB-4488-86EF-BA1534404964","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"beee3648fc78215bd3297256b1ada8fd8f08734e","datavalue":{"value":"03F05","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q639681$936EA69B-5BEE-49A7-9A9E-0DE04D07B53E","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"ee015772af3e5c8771c32cb90f2db3cd6ef22696","datavalue":{"value":"5949196","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q639681$2699B6A4-32BE-46F8-BE87-2C5F5C199413","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"e3a9f62da7dcc991055e76107816d666252ca7fa","datavalue":{"value":"trilattice logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q639681$FAC87435-EE45-4A26-BFD0-C4B7FDC523A6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"d42a0f9cfd72357cf66a7aa90a8fe936404d342e","datavalue":{"value":"trilattice \\(\\mathit{SIXTEEN}_3\\)","type":"string"},"datatype":"string"},"type":"statement","id":"Q639681$FC6AE094-AC5B-4D0E-A855-407C4A35D848","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"5811ee01be7b6090e46931f12c7b72244d4806da","datavalue":{"value":"sequent systems","type":"string"},"datatype":"string"},"type":"statement","id":"Q639681$4598F2BD-20D2-4922-84A5-8A6C687D40E5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"4756925d6ef3eabc98c31a96e03ac74f4fd6540e","datavalue":{"value":"co-ordinate valuation semantics","type":"string"},"datatype":"string"},"type":"statement","id":"Q639681$52C4B035-C133-4F56-BCF0-9FC54EA56571","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"34df2d60ce6d7a7353b1824addaf23917eeafb6b","datavalue":{"value":"Maehara's method","type":"string"},"datatype":"string"},"type":"statement","id":"Q639681$BD9DAA93-2077-4A4D-A1D2-B72923369F1A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"527469ab44a4fb0e862f1df2a860c330d63181be","datavalue":{"value":"Sch\u00fctte's method","type":"string"},"datatype":"string"},"type":"statement","id":"Q639681$A1E4F080-6BDD-4146-9E14-7696B9D20483","rank":"normal"}],"P1447":[{"mainsnak":{"snaktype":"value","property":"P1447","hash":"2b87c2901b1d9462aa6fffa26502c8ee861836b0","datavalue":{"value":{"entity-type":"item","numeric-id":1062052,"id":"Q1062052"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q639681$64F3B3C1-6D1C-459C-AAE1-0DA8A95D450A","rank":"normal"}],"P1460":[{"mainsnak":{"snaktype":"value","property":"P1460","hash":"57f7fea50d2ce1b39b695c4a1313582eed405e38","datavalue":{"value":{"entity-type":"item","numeric-id":5976449,"id":"Q5976449"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q639681$CF993F1B-8849-4552-9428-719ACB930CFC","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"cd03236f749952bda21c325a904942bdc61c0f5a","datavalue":{"value":"https://doi.org/10.1016/j.apal.2011.03.001","type":"string"},"datatype":"url"},"type":"statement","id":"Q639681$FBED8DBD-4822-48B0-8EC8-C5B50ADB920D","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"f469fd5c49c483b71f4846c0b051fbcac537c6ce","datavalue":{"value":"W2066884271","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q639681$400BB882-362E-43A9-A7A5-816355472BAF","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"5280fb162e668bf53e1d08bed23996ddcc67aa6e","datavalue":{"value":{"entity-type":"item","numeric-id":1919988,"id":"Q1919988"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q639681$32C95E82-2540-49E8-8D2C-BFECC04D8DE3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"4254aec3fabd1f5e38b1d6d82f585a7345db81a1","datavalue":{"value":{"entity-type":"item","numeric-id":4329280,"id":"Q4329280"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q639681$7A3CA498-1B73-40B4-993F-17957B50156F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"cb2820ffef7eeb1d7e35a2e626ed78750ba52930","datavalue":{"value":{"entity-type":"item","numeric-id":4715676,"id":"Q4715676"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q639681$8050454E-2AAD-46F3-ABAD-5EBD400A0282","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"42076235377e44e7fa7ea44967b1dda67de38bec","datavalue":{"value":{"entity-type":"item","numeric-id":3858244,"id":"Q3858244"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q639681$CDE474DA-5930-417B-B988-150F4C910711","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"eb0b52a23de1574ccbcff90ef2d0aae0db6a2625","datavalue":{"value":{"entity-type":"item","numeric-id":1786806,"id":"Q1786806"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q639681$C0936C17-658D-457A-AA3F-64AFD0A4EF4B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"903f9f52eef04d94cfa524ca594f47f356bcbc56","datavalue":{"value":{"entity-type":"item","numeric-id":3983121,"id":"Q3983121"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q639681$41199D0F-3216-4DC2-851F-44883DCE54D7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ba344e09064796240a2992a098e6787c5ca84369","datavalue":{"value":{"entity-type":"item","numeric-id":3604278,"id":"Q3604278"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q639681$02374250-2056-40F3-8F56-8A740AA0E872","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"38d2c3cb496a4864585aa954615a702ee99d8adc","datavalue":{"value":{"entity-type":"item","numeric-id":4531578,"id":"Q4531578"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q639681$EBEE82A0-9796-4398-8F4B-35F2603A761B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"9e2bb67879264c3c31f859c874a47a525286bbc7","datavalue":{"value":{"entity-type":"item","numeric-id":813084,"id":"Q813084"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q639681$C8453D27-A23D-4DF3-AF9A-0337A710493F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"2d71719a78e5b2ac25f407ae2994e1f5d4ec724f","datavalue":{"value":{"entity-type":"item","numeric-id":3435250,"id":"Q3435250"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q639681$622E5A8B-3576-41F9-81CE-293D8A4B11FD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b1700b011cde391b30057f37073cefb9c040efb3","datavalue":{"value":{"entity-type":"item","numeric-id":3395332,"id":"Q3395332"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q639681$0B45CBF4-4E1F-4222-A4D8-F20CE4B8ED34","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"1ccd1186c7ced4b2d96a538a97fdd3b269c04fa4","datavalue":{"value":{"entity-type":"item","numeric-id":1015493,"id":"Q1015493"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q639681$B958375A-02CA-4F42-ABF8-5164830CF908","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"cf5d5e5cb3e43e84823dd9f0303102ce6c25b1ce","datavalue":{"value":{"entity-type":"item","numeric-id":1919990,"id":"Q1919990"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q639681$E9844D55-15D1-47F4-AB46-D1078E7821A3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"39d2c48ffbe228657ef568ac2d7e18e0775b81ad","datavalue":{"value":{"entity-type":"item","numeric-id":4529486,"id":"Q4529486"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q639681$30B0A2CB-F25B-49B7-B9D7-CE0D1D5461A9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ef2e8217d7d1c10a832aed186030e5ce80766c08","datavalue":{"value":{"entity-type":"item","numeric-id":815018,"id":"Q815018"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q639681$BC46C328-B77C-43C3-869F-DA8A2B00C27A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"4385bceea38a1d58397e6860f6e6b34883372145","datavalue":{"value":{"entity-type":"item","numeric-id":1006448,"id":"Q1006448"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q639681$B9FC2B05-C0D3-415D-8FD6-A693E203891F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"058c2d698b304297790a0f2fa2c5c4812ff56ec2","datavalue":{"value":{"entity-type":"item","numeric-id":656420,"id":"Q656420"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q639681$8ED47DE1-693F-49A5-ABF0-483DAD7193BD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"3652d520789475601e366029ce7b257ab62a1ec7","datavalue":{"value":{"entity-type":"item","numeric-id":5905909,"id":"Q5905909"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q639681$44C0714A-7CC4-497E-837E-FB80B66D5915","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"2196600f9e4876637f79a8ee3d4bda3fb1be24c6","datavalue":{"value":{"entity-type":"item","numeric-id":1959329,"id":"Q1959329"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q639681$4BE3C2A3-68F8-4823-B54E-3D62781C0B0A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"35b0ea74f18787e2aeaea16b6ef5d539d3edf10e","datavalue":{"value":{"entity-type":"item","numeric-id":3069727,"id":"Q3069727"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q639681$230E5670-A763-4BBF-9DF3-7BC9B7CE1C2E","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"a10d2a6aca7d960a7fa1fc97cf1d6bc1cbb11a6e","datavalue":{"value":"10.1016/J.APAL.2011.03.001","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q639681$9E080582-188E-4C06-8BCF-4547E919144F","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"5faba762ddce02fb5d7f5ba33f4a7887ea46d087","datavalue":{"value":{"entity-type":"item","numeric-id":3395332,"id":"Q3395332"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"1a61214e11843b6ceaf97d5f556f97eb929aa63d","datavalue":{"value":{"amount":"+0.8606641292572021","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"a327a09ea0305e98d5cf33bd4036320e19f2aed0","datavalue":{"value":{"entity-type":"item","numeric-id":6821328,"id":"Q6821328"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q639681$1460D9E9-598B-4C2D-9DAC-905F63D0B876","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"19250fbc17bbf56d6659ffa399378150b3f39eb9","datavalue":{"value":{"entity-type":"item","numeric-id":3069727,"id":"Q3069727"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"7dbb9a8716502c479af19bc84605b1f0afd4ff71","datavalue":{"value":{"amount":"+0.8182033896446228","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"a327a09ea0305e98d5cf33bd4036320e19f2aed0","datavalue":{"value":{"entity-type":"item","numeric-id":6821328,"id":"Q6821328"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q639681$6A9243F7-DE14-480F-AAB8-3C6C7872531F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"8ebb6368d3d9e459f87436ca7cc1543ead67e913","datavalue":{"value":{"entity-type":"item","numeric-id":1959329,"id":"Q1959329"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"4dc786471a21949b139bc7d8f1f0e2005aab575f","datavalue":{"value":{"amount":"+0.7990955114364624","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"a327a09ea0305e98d5cf33bd4036320e19f2aed0","datavalue":{"value":{"entity-type":"item","numeric-id":6821328,"id":"Q6821328"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q639681$EFE8439A-F295-4573-BC28-8CF75B9B0B5F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"73a586deca7dd488f1c613c77e824ca9bc21940c","datavalue":{"value":{"entity-type":"item","numeric-id":5262476,"id":"Q5262476"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"f581cfb12cd736e99019ea3b25bbc7abc8b3180e","datavalue":{"value":{"amount":"+0.7818422317504883","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"a327a09ea0305e98d5cf33bd4036320e19f2aed0","datavalue":{"value":{"entity-type":"item","numeric-id":6821328,"id":"Q6821328"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q639681$4F4F7091-C985-49FF-949F-63BD820A2E2F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"cba46d7f77826e2291899dd98c22a087d80a6a8f","datavalue":{"value":{"entity-type":"item","numeric-id":332076,"id":"Q332076"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"9e873c9c1236985837026d2f655194c8ddc6697f","datavalue":{"value":{"amount":"+0.7800717353820801","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"a327a09ea0305e98d5cf33bd4036320e19f2aed0","datavalue":{"value":{"entity-type":"item","numeric-id":6821328,"id":"Q6821328"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q639681$2B949A8A-570F-40EB-890C-F0D39844A7A4","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:639681","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:639681"}}}}}