{"entities":{"Q1277163":{"pageid":1287913,"ns":120,"title":"Item:Q1277163","lastrevid":70057476,"modified":"2026-04-13T12:09:10Z","type":"item","id":"Q1277163","labels":{"en":{"language":"en","value":"Sequent calculi for three-valued logics"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 1247889"}},"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":"Q1277163$24DBD42F-E81F-470A-85E0-0A4E22B229EA","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"244febb602daee06250f17c8141b761ca6de5fb8","datavalue":{"value":{"text":"Sequent calculi for three-valued logics","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q1277163$838BB031-4561-42CF-8AE6-096FAD88203F","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"4d5caf91631784effd295ac471f6ff36ebc65598","datavalue":{"value":"0922.03029","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1277163$6FD448EF-034F-42DD-8806-51D3001EA767","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"718103527fb94c5b8eda2837ebad09b692a833cb","datavalue":{"value":{"entity-type":"item","numeric-id":332075,"id":"Q332075"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1277163$622FAFC8-19F9-4E2F-82C8-D52B2470985D","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"4644ee9c6c93e22a4aa2641411a372d7ea43bad8","datavalue":{"value":{"entity-type":"item","numeric-id":180651,"id":"Q180651"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1277163$750672D5-7268-402A-A9E0-E21A7123D2E6","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"a1fc4aef5934748942375a0bc47ba7404f9f415e","datavalue":{"value":{"time":"+1999-09-12T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q1277163$ED279294-76AE-4809-90D5-37CF2466E809","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"a66fe6df5c8e31fdd2e2406ddd1dddb5d19032a6","datavalue":{"value":"This paper presents complete sequent calculi for different 3-valued propositional logics, in a uniform way. Each calculus is built around the structural rules: thinning, contraction, interchange and cut, using so-called beginning sequents and logical rules of inference which are specific for that logic.    Complete calculi are presented for the weakly intuitionistic logic of \\textit{A. M. Sette} and \\textit{W. A. Carnielli} [``Maximal weakly-intuitionistic logics'', Stud. Log. 55, No. 1, 181-203 (1995; Zbl 0841.03009)], the 3-valued paraconsistent logic of \\textit{A. M. Sette} [``On the propositional calculus P\\(^1\\)'', Math. Japonicae 18, 173-180 (1973; Zbl 0289.02013)], \\textit{A. Wronski}'s logic [``A three element matrix whose consequence operation is not finitely based'', Bull. Sect. Logic, Pol. Acad. Sci. 8, 68-71 (1979; Zbl 0419.03017)] and \\textit{K. Palasi\u0144ska'}s logics [``Three-element nonfinitely axiomatizable matrices'', Stud. Log. 53, No. 3, 361-372 (1994; Zbl 0808.03004)]. For the first two, also a cut-free version is considered. The completeness of those calculi refers to the specific validity notion of a sequent, based on the choice of the set of designated values, either \\(\\{ t \\}\\) or \\(\\{t,u\\}\\) depending on the logic.    The paper concludes with a complete calculus (including a cut-free system) for the 3-valued conditional logic of \\textit{F. Guzman} [``Gentzen system for conditional logic'', Stud. Log. 53, No. 2, 243-257 (1994; Zbl 0807.03011)], where the validity notion is based on the linear ordering \\( f < u < t \\) of the truth-values.","type":"string"},"datatype":"string"},"type":"statement","id":"Q1277163$622F37C8-301E-4916-91B7-172108997FD3","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"bf715f882d7ad0c07303aa3e6e3ac3725da52515","datavalue":{"value":"03B50","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1277163$911CCD8A-89CB-44A3-9686-77CD005CA5B0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"25dae832a7b5192741ddf2b14ab8d2cca2e6e6a4","datavalue":{"value":"03B22","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1277163$600A92E7-ABBC-4E32-A939-5A906D04B567","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"da16cc6c6eb08bf82419ecf96189672d0591bc99","datavalue":{"value":"03B53","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1277163$9134C79A-D64B-45F3-86C9-48D1F880E039","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"d82ac44444abf7f93023656c4c2548b4206fc4d4","datavalue":{"value":"1247889","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1277163$504AEFCF-8C42-40F7-AC5D-2FA3646C2AE0","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"fe9774c3f67d416a6c8463ab2f991bf6eb18e479","datavalue":{"value":"three-valued logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q1277163$4A51859A-D83B-42A7-9B62-986C5C8EAFEF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"4b838261c78c4ae7442badafeb6cc147e9d09de5","datavalue":{"value":"many-valued logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q1277163$FD3428AA-798E-4FC5-894F-0879AFCC8078","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"2c7d4aa0d3cf1745112ae7d594a2a5578f4e767f","datavalue":{"value":"sequent calculus","type":"string"},"datatype":"string"},"type":"statement","id":"Q1277163$87632E41-8297-408A-9CBE-C109431DA457","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"e6289dc9bdfcbc35d92a60895cb3368e0318446d","datavalue":{"value":"weakly intuitionistic logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q1277163$679120D9-81AC-4DA2-A3E7-04209EF7E533","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"196fa235bc42293e05f5e972124a2c372c00f083","datavalue":{"value":"3-valued paraconsistent logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q1277163$F991442A-254F-4537-98D5-3237A20A69E8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"3427955ff87cf897c3c4f76a7fbf0d73cc91586b","datavalue":{"value":"3-valued conditional logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q1277163$18ADADE3-165E-4942-827B-8200343D61C3","rank":"normal"}],"P1447":[{"mainsnak":{"snaktype":"value","property":"P1447","hash":"a70eb255db58b1b2b90f33f4fe4a154901c6aeb8","datavalue":{"value":{"entity-type":"item","numeric-id":590723,"id":"Q590723"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1277163$428DC819-546B-4F50-AE42-EA18F2C85833","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":"Q1277163$0A21C5A6-68CA-461B-BB9E-5F72AACAC4EF","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"bf96c5ff6f80c12cd7a3ef090b72ab0bb831efcd","datavalue":{"value":"https://doi.org/10.21099/tkbjm/1496163593","type":"string"},"datatype":"url"},"type":"statement","id":"Q1277163$065799B6-39D9-402A-8EA1-A5E32DC9D431","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"e1e85904627e8f7cce1e971ccb7238de8fb24723","datavalue":{"value":"W424908023","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1277163$C634CB89-1519-4A60-BBE2-69D0C728D698","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"425805bce9d5d78306b5a854c6b4114d606dc632","datavalue":{"value":"10.21099/TKBJM/1496163593","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1277163$CA3CFF77-367C-4306-96CA-F6F1B72213F7","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"aeca5c86a55f2648ba3d2fd2ef04baaf05d8dffa","datavalue":{"value":{"entity-type":"item","numeric-id":2987760,"id":"Q2987760"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"eabc519df1340e048b32c878063113f3dc3915d4","datavalue":{"value":{"amount":"+0.8524674773216248","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":"Q1277163$00AFC451-155A-4DBE-8D30-E48F5F873DF7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"90ce22f9e8e305f15fbacda1e9453335ab971854","datavalue":{"value":{"entity-type":"item","numeric-id":4489073,"id":"Q4489073"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"9c2fcc7bf0f6c5c4051874148b34093a0ca16230","datavalue":{"value":{"amount":"+0.8311673998832703","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":"Q1277163$A0E7BD1E-C397-4442-BA25-3D1594004E13","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"724f2ccf66829d7ef6797710abe1fea8b909587f","datavalue":{"value":{"entity-type":"item","numeric-id":1203764,"id":"Q1203764"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"1477a05fadc94d421781e3dee83a700a30297d4b","datavalue":{"value":{"amount":"+0.8280553221702576","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":"Q1277163$376F2D3D-0EC0-4F8A-A42F-8652433EEABE","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Sequent calculi for three-valued logics","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Sequent_calculi_for_three-valued_logics"}}}}}