{"entities":{"Q1037601":{"pageid":1039449,"ns":120,"title":"Item:Q1037601","lastrevid":66603189,"modified":"2026-04-12T11:14:17Z","type":"item","id":"Q1037601","labels":{"en":{"language":"en","value":"Truth values and proof theory"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 5633562"}},"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":"Q1037601$C0D77F20-6245-4716-97A0-6C94A97A8994","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"186e4283177d044e1034a888d99c4ffa6e245d47","datavalue":{"value":{"text":"Truth values and proof theory","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q1037601$DD6B1725-F105-400D-BA95-5FB1131BE573","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"c5889d6c9cc1aaa5f92b6129ab831eb35e9ae309","datavalue":{"value":"1191.03042","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1037601$9FFCE333-E75D-41FE-8CAC-4CD4D38DEBDE","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"efc74f53862f4f290e2401f492556ea9e0dad7b1","datavalue":{"value":{"entity-type":"item","numeric-id":450955,"id":"Q450955"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1037601$1ABF09AD-6656-4486-BB8E-A67929CD1A80","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"e34236ca73b92c6ee0bc17431d03c3537a7f0792","datavalue":{"value":{"entity-type":"item","numeric-id":195358,"id":"Q195358"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1037601$49F9F2CA-FF0B-4424-8276-630E7B154B0F","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"a063ddf8a89ca70cf9f598d7256c305bf346c0e5","datavalue":{"value":{"time":"+2009-11-16T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q1037601$BD5776D5-397C-4E32-940E-44BB5A6CE4E4","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"db3d32d457d152032308f27b08d94d4e236a59ac","datavalue":{"value":"Canonical models constructed from the maximally consistent (with respect to derivability with cut) sequents provide completeness proofs for classical, intuitionistic and modal logic. The author reverses this process.  In the classical case the conditions, say, for \\(A\\& B\\in X\\), \\(A\\&B\\in Y\\) in a maximally consistent sequent \\(X\\vdash Y\\) determine standard Boolean semantics. In the intuitionistic case, two possible definitions of maximal consistency lead to two different semantics. If \\(X\\vdash Y\\) is defined to be consistent when \\(X\\vdash A\\) is underivable for every \\(A\\in Y\\), then Beth semantics results. If \\(X\\vdash Y\\) is consistent when \\(X\\vdash Y'\\) is underivable for every \\(Y'\\subseteq Y\\) in a multiple-succedent formulation, then Kripke semantics results.  For S5, the authors considers a Kripke-style hypersequent (tableau) formulation where sequents correspond to possible worlds. It would be interesting to see whether the same result can be obtained from a cut-free sequent formulation by G. Shvarts.","type":"string"},"datatype":"string"},"type":"statement","id":"Q1037601$9EE1A1B2-F8F6-46A6-8538-1245D25E44CF","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"d971f250f4b60bd91da7e9350568180af141e6af","datavalue":{"value":"03F03","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1037601$78AFBDA2-96FA-4EF9-988F-5A62B0F2187A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"2337f934f367559a8ee0c48540aa4d52d0fa385a","datavalue":{"value":"03B20","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1037601$E8D677D6-3F3D-4990-B39E-7D7B20AEC6C9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"74a6cec96241e450625296e63e8dd539239d7104","datavalue":{"value":"03B45","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1037601$195ABC33-F12C-4362-AC04-CEC123123672","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"a3dffe890030b7688c01a345f27bb0771f25f6b0","datavalue":{"value":"5633562","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1037601$72A6AED8-B5DE-48D1-B825-DD0D19062D57","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"2c7d4aa0d3cf1745112ae7d594a2a5578f4e767f","datavalue":{"value":"sequent calculus","type":"string"},"datatype":"string"},"type":"statement","id":"Q1037601$A8E37ABF-EF04-4D5D-95A5-FDB5DE94A017","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"f6816fdf79dd11ac09d9af4886c02baab03d2cf9","datavalue":{"value":"completeness","type":"string"},"datatype":"string"},"type":"statement","id":"Q1037601$08A941B2-9A76-49EC-B316-5B49E0944807","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"d450f4b3083fe34d24db452ee74b92106c27a96e","datavalue":{"value":"intuitionistic logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q1037601$B1F87F6E-BD6C-4C42-8B01-F1B8EA97B7B5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"f1dda010537b7b36bd45151721146f720815706e","datavalue":{"value":"modal logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q1037601$73CDF28F-62B4-4941-ACFC-209458EBA3C1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"9ffd3928aa1fd818bc1a8806528172e266ac8bcc","datavalue":{"value":"classical logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q1037601$94034E50-978B-4065-A9AF-DE48ACFE0130","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"51624d4c1b53025000e2a6d47246c0f37041bcf2","datavalue":{"value":"maximal consistency","type":"string"},"datatype":"string"},"type":"statement","id":"Q1037601$C422A906-4EDA-4885-8EE0-1CBB8F9C51BF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"5d7bfc11de8cab95fd6af201970bd9d16d39bbd0","datavalue":{"value":"semantics","type":"string"},"datatype":"string"},"type":"statement","id":"Q1037601$240BAC6F-A2B1-46D8-8FB4-498A183B452E","rank":"normal"}],"P1447":[{"mainsnak":{"snaktype":"value","property":"P1447","hash":"8f432bccb81d11b6d0c5be5373ba82abf19c1967","datavalue":{"value":{"entity-type":"item","numeric-id":454365,"id":"Q454365"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1037601$B553193F-E6A1-41BD-A105-E527731E4B9E","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":"Q1037601$5646C757-259A-4103-A0DE-A677331C8E49","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"12280812b1c8d51a7b60be89fe7c1c395425800d","datavalue":{"value":"https://doi.org/10.1007/s11225-009-9197-y","type":"string"},"datatype":"url"},"type":"statement","id":"Q1037601$5389B7FE-DD58-4E4D-973D-3019488092C3","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"f765c02c7257e55f2c042c1c592c66d219b4781c","datavalue":{"value":"W2070877511","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1037601$2184263D-FDC0-443C-B640-0EF8D4BCEB13","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"d986413722b76985e5563365eb3dfdce74a9084b","datavalue":{"value":{"entity-type":"item","numeric-id":4342082,"id":"Q4342082"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1037601$E1AFE30D-8C8C-49C2-80CE-BBEFC14F9363","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"bf37a67188bb478aaca8d5a295c49a3f0529c426","datavalue":{"value":{"entity-type":"item","numeric-id":766956,"id":"Q766956"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1037601$88A09AC1-08B1-431B-BDB4-789E98FB7186","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"65a1b4fc0d9faf96fd9920b9b06f82c66ed4fc2b","datavalue":{"value":{"entity-type":"item","numeric-id":2432050,"id":"Q2432050"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1037601$B020C7C4-7401-4A81-B1C0-E21B72C38460","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"7b8d719cc0f256a5005047ccd62d4db0f973bbbf","datavalue":{"value":{"entity-type":"item","numeric-id":5755180,"id":"Q5755180"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1037601$B0E65B4B-3E19-4910-906D-F648C2A4C977","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e3ce41d60cfb93a7d9f318710e34ad3627406dc9","datavalue":{"value":{"entity-type":"item","numeric-id":3580655,"id":"Q3580655"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1037601$830DEA33-9A08-4A74-AA9E-D5E7D62C27E9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"89a71f796b0fa0f21efef8d794381e3bce3ee300","datavalue":{"value":{"entity-type":"item","numeric-id":1255485,"id":"Q1255485"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1037601$F4EE2A50-16F9-41E2-899C-EE73C18871FF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"5d4f6cb2d520e094401e2b9c919689c522d88ccc","datavalue":{"value":{"entity-type":"item","numeric-id":2748497,"id":"Q2748497"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1037601$7603520D-529D-4D76-9CBC-9FCFE78E7D3E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"8d33dca22b26d8ad3a16d3e39a17e8d044720515","datavalue":{"value":{"entity-type":"item","numeric-id":5457387,"id":"Q5457387"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1037601$4795EDB0-96ED-4719-8BE5-2A207D4069DC","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"fd67b7a290d2af5dc13eb01c8ceae7c843c23077","datavalue":{"value":"10.1007/S11225-009-9197-Y","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1037601$1F06DB3D-BCB1-4760-A842-DA3D9828D3DF","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"a97a32291823e12c6118eab5da72b8b1054f692e","datavalue":{"value":{"entity-type":"item","numeric-id":1037595,"id":"Q1037595"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"cbe7131822505ec9d7df216c1621d963af391d99","datavalue":{"value":{"amount":"+0.7479076385498047","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":"Q1037601$4DE37241-4501-4BD8-AC70-2AFFC294C5B4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"2c858d52134397a8ddd8db9bd7e336e54f03e861","datavalue":{"value":{"entity-type":"item","numeric-id":1015488,"id":"Q1015488"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"17a5351c840ab83daf67d38d6f06c7bba70ed91a","datavalue":{"value":{"amount":"+0.747789740562439","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":"Q1037601$BD55729E-3CDC-4CEE-A141-6923DE5CC30B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"c6565720a0dc33d50109103bebc47c711cb4aaed","datavalue":{"value":{"entity-type":"item","numeric-id":3096823,"id":"Q3096823"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"94c717eb7254d36640e233cc25bbeb1d5d5e7881","datavalue":{"value":{"amount":"+0.7472748756408691","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":"Q1037601$F9B8158D-B688-4B8A-B3E3-C23C2E42A251","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"ece96f9248cdaa0bb35757776f700ea0615fd5fa","datavalue":{"value":{"entity-type":"item","numeric-id":385807,"id":"Q385807"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"c624b72dffa0ec2891648f9382a352f322495615","datavalue":{"value":{"amount":"+0.7434629797935486","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":"Q1037601$9B36D507-BF04-4156-82B8-E107E0C878E3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"58ca2a6b7ee6da4dba08339d85beb12b353f8057","datavalue":{"value":{"entity-type":"item","numeric-id":3108631,"id":"Q3108631"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"b1e70ddeb1b3badbccda23faefc37bb8af8d3e25","datavalue":{"value":{"amount":"+0.7322127819061279","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":"Q1037601$447233A1-B421-4B38-B275-9065A949359B","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Truth values and proof theory","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Truth_values_and_proof_theory"}}}}}