{"entities":{"Q1970589":{"pageid":1981331,"ns":120,"title":"Item:Q1970589","lastrevid":82264319,"modified":"2026-05-06T20:29:25Z","type":"item","id":"Q1970589","labels":{"en":{"language":"en","value":"The idea of a proof-theoretic semantics and the meaning of the logical operations"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 1420233"}},"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":"Q1970589$D129DD5B-B158-47A0-9F19-A56454F099AA","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"d5cd75b39e4b7f2d2673b84910ab3f02a99d0343","datavalue":{"value":{"text":"The idea of a proof-theoretic semantics and the meaning of the logical operations","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q1970589$C8693E6D-FBBD-4C4E-8115-84BCD8BE31BB","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"4306ca0723ead6253763eec4c515b5385f97ac0b","datavalue":{"value":"0947.03072","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1970589$5EB09213-D202-4E0B-96C4-3FCFB19C07B0","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"23ea42af83b2be5981454c9e4b06eaae2b2a4190","datavalue":{"value":"10.1023/A:1005217827758","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1970589$697026E0-E1CD-4768-89C5-7C89CCBE1C7D","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":"Q1970589$59A28375-EBEB-4BC4-A8F0-23156278BB12","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"6e7d359903137bff7846e697aa48a1466e8359b7","datavalue":{"value":{"time":"+2000-11-05T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q1970589$198CED6E-241C-4DD7-96EE-7132710DCCEF","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"4c5c8ccc84a5df0358767d9851400a15dfab7de0","datavalue":{"value":"This conceptual paper aims at presenting and putting into perspective the idea of a proof-theoretic semantics of logical operations. Paying particular attention to the functional completeness problem the author first gives a brief survey on several semantic paradigms, namely, the model-theoretic, algebraic, game-theoretic, and dynamic. Then the idea of a proof-theoretic semantics is explained and analysed for more details. It is shown, for instance, that display logic provides a proof-theoretic schema general enough to extend the proof-theoretic characterization of logical operations to modal and tense logics.","type":"string"},"datatype":"string"},"type":"statement","id":"Q1970589$470358DB-A4B1-4264-AF51-16A5EA184784","rank":"normal"}],"P1447":[{"mainsnak":{"snaktype":"value","property":"P1447","hash":"e3f06c5cc154fad665bbd7bfe01f3fd2207302a9","datavalue":{"value":{"entity-type":"item","numeric-id":588143,"id":"Q588143"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1970589$58550801-7167-4FBD-84CF-3682C1CC9D8E","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"d971f250f4b60bd91da7e9350568180af141e6af","datavalue":{"value":"03F03","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1970589$4706793E-A6C4-47BE-A23D-BD0220447B98","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"74a6cec96241e450625296e63e8dd539239d7104","datavalue":{"value":"03B45","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1970589$5D5ECC50-EF26-41CD-B527-5E4DE900CF32","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"e2244b32b83bf71a9c045223e635ab074452b389","datavalue":{"value":"03B44","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1970589$CEBC76D5-0157-44D2-9959-C1ADA29E1715","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"b363e494c684597e57f0cc15c7c0d8f9f3bcf9fc","datavalue":{"value":"03B47","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1970589$08227491-A6CE-435A-8E3B-4D18A0195608","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"7ac98ede251bc5d77b204489260b2666245bc379","datavalue":{"value":"1420233","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1970589$DB1BD6A5-1973-43DC-8777-4F933F670701","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"14a0dd3e1b83404196449aa90cc83aae915af1cf","datavalue":{"value":"proof system","type":"string"},"datatype":"string"},"type":"statement","id":"Q1970589$520BA230-AC90-43C7-BC0C-C205D0D769E2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"ab9a51deb3af45448a90626855e0ef4f36b57a61","datavalue":{"value":"proof-theoretic semantics of logical operations","type":"string"},"datatype":"string"},"type":"statement","id":"Q1970589$E7F4F8ED-E47E-453D-835F-22EB524EF6D9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"fb7c57587a9cf6cfbf4920d0ba76515e57df4b14","datavalue":{"value":"functional completeness","type":"string"},"datatype":"string"},"type":"statement","id":"Q1970589$7B09CAD9-B19C-480A-94FE-A0E4E1FFF1F6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"6bc3a19089d3c475a56535a8622363edd5f36cd5","datavalue":{"value":"display logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q1970589$FB9577BA-8123-4CD8-8ADF-26AE0B400057","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"f1dda010537b7b36bd45151721146f720815706e","datavalue":{"value":"modal logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q1970589$65DF5532-5D30-45AF-A543-E0E876A7143C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"902bb96bd7b013d323eaf0bd22f175083ba1743e","datavalue":{"value":"tense logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q1970589$65D544CF-5117-434E-83A6-F1404184FC52","rank":"normal"}],"P16":[{"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":"Q1970589$C48B4C63-DE5E-4B68-BA8D-1684A215902A","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":"Q1970589$30E4774A-D82F-4A44-9A04-F1E26BFFD35E","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"74a1cacec335c5eaf47c4156304e73c3847ca3a5","datavalue":{"value":{"entity-type":"item","numeric-id":266652,"id":"Q266652"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"7f3d1cd69b6e106058e3c3dc2fd84a331d5a695f","datavalue":{"value":{"amount":"+0.814130425453186","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":"Q1970589$FD2681B1-2F3A-4879-8604-48E72AC2A48D","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":"1fafa204b83157d4d93335bee27f76de3bfe3f3d","datavalue":{"value":{"amount":"+0.7764534950256348","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":"Q1970589$2E8D0857-584D-4D13-801D-C760BF66171E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"c0eda87278d89af66a50920b8668918d4a226459","datavalue":{"value":{"entity-type":"item","numeric-id":2690170,"id":"Q2690170"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"6bf1ce5047ab170adbe40f45f18a0940cadf2b13","datavalue":{"value":{"amount":"+0.7731710076332092","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":"Q1970589$3B211FDE-6062-4308-95FF-328015D51FE0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"8839d72775b586b98f0e09e52c58ad04d3817baf","datavalue":{"value":{"entity-type":"item","numeric-id":3467536,"id":"Q3467536"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"531235cf732510a5fa660b3f2ddc385aec6741eb","datavalue":{"value":{"amount":"+0.7634888291358948","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":"Q1970589$F1845F04-FE94-4CD6-A5CE-F8DAB8C602D1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"f046cd237abad9a749b36e309cb17eff79d2789a","datavalue":{"value":{"entity-type":"item","numeric-id":5259724,"id":"Q5259724"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"ee4d10d07d4d0fd4dac6ca0dcdb8c4687086e97a","datavalue":{"value":{"amount":"+0.7621448636054993","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":"Q1970589$5DEDCFE6-108A-49AC-AFBC-3D6590FB06CC","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"The idea of a proof-theoretic semantics and the meaning of the logical operations","badges":[]}}}}}