{"entities":{"Q1327484":{"pageid":1338234,"ns":120,"title":"Item:Q1327484","lastrevid":68477271,"modified":"2026-04-12T23:58:21Z","type":"item","id":"Q1327484","labels":{"en":{"language":"en","value":"A Gentzen system for conditional logic"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 590922"}},"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":"Q1327484$4D3BDC71-BAB5-462F-B81D-D6BF386D731D","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"dd838e29e6c46596a3b71fd51dc034389fcb66de","datavalue":{"value":{"text":"A Gentzen system for conditional logic","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q1327484$70A0CB7C-DBDD-412D-B599-FB38CE1546D0","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"c2148a57af73bdabe3d66b6c6b44037ec4e8f7ac","datavalue":{"value":"0807.03011","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1327484$D22D39A6-EE99-44FC-A567-4F76C8C3F14E","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"547e06083a3cdb3b290dc61a3b6a21eaa8d66af0","datavalue":{"value":"10.1007/BF01054712","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1327484$2D79C92F-BE96-419F-BF73-1AAA7A3B2807","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"eb000829b5f171997cb7e91da08b3f0452aa4107","datavalue":{"value":{"entity-type":"item","numeric-id":436455,"id":"Q436455"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1327484$B9FD0C72-76AD-45B9-BE1E-B3947D71AEC2","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":"Q1327484$FDE0A76D-30CF-418F-A1CC-E194DAB48BD8","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"e8d1254d0712ff4c70c86be9999ebb4a8488bd51","datavalue":{"value":{"time":"+1995-03-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":"Q1327484$348A4E46-DE83-4E3A-93D6-F49CC3A539E2","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"2060d1662e473fb52b056f4b7cf4c06145d700f2","datavalue":{"value":"For conditional logic, a Gentzen-type formulation is given. Conditional logic is a deductive system on an algebraic system, defined by Guzm\u00e1n and Squier, composed of three truth-values (true, unknown and false), three logical operations (conjunction, disjunction and negation), while implication is defined by the structural finitary consequence relation. The defined Gentzen-type system is a very natural extension of Gentzen's original. For the defined system the author proves the soundness theorem, the completeness theorem, and some other theorems. But the cut- elimination theorem is not provided.","type":"string"},"datatype":"string"},"type":"statement","id":"Q1327484$EDB524C7-5F0A-4159-B90E-7FD0E731CFD9","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"bf715f882d7ad0c07303aa3e6e3ac3725da52515","datavalue":{"value":"03B50","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1327484$8B5A977A-8EFD-458F-8760-374BBEAD9875","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"76c78970859bfdd7b74658b64d7b5ed071f167c2","datavalue":{"value":"590922","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1327484$06339BEA-0D94-457C-A0AB-B2F4C352456F","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"6bc44be0a596d653acc9d6614c1a30361b98d39e","datavalue":{"value":"conditional logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q1327484$4628243F-B0B8-49BA-BA25-189165457543","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"665b5c79691f5d2f74eca5a1cc637b13835b27c1","datavalue":{"value":"Gentzen-type formulation","type":"string"},"datatype":"string"},"type":"statement","id":"Q1327484$EAA57512-82A6-4512-AF68-1FBF3B22E0D7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"fe51228e17b836f3520db7bc0de40e5086eebee3","datavalue":{"value":"soundness","type":"string"},"datatype":"string"},"type":"statement","id":"Q1327484$1A1BC8DF-CD04-4E6E-88B6-30359C868C2F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"f6816fdf79dd11ac09d9af4886c02baab03d2cf9","datavalue":{"value":"completeness","type":"string"},"datatype":"string"},"type":"statement","id":"Q1327484$73DC3508-B01F-4034-96D7-5672E854DDBD","rank":"normal"}],"P1447":[{"mainsnak":{"snaktype":"value","property":"P1447","hash":"851bf76d21f8adc9231295bc43bb317620bc1e90","datavalue":{"value":{"entity-type":"item","numeric-id":1111544,"id":"Q1111544"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1327484$C8EA4ADE-D848-42D0-90F2-B57467DE7FD9","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":"Q1327484$2525D6CB-777F-40F7-80F8-265EBECC15B9","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"7a03243457bff48af290e807c30ca1ac771292e2","datavalue":{"value":{"entity-type":"item","numeric-id":4273474,"id":"Q4273474"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1327484$C72209F7-3F6D-470A-ACCC-67046F6BA06E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"365e43523f9f6b45dc2577202697ff91a6659a61","datavalue":{"value":{"entity-type":"item","numeric-id":3815297,"id":"Q3815297"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1327484$9BE76078-3455-4238-A016-9D1CB960A830","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e47b8c90d45ee285590b1a168a8503851fe5b134","datavalue":{"value":{"entity-type":"item","numeric-id":3925859,"id":"Q3925859"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1327484$E9AD4816-116E-4172-98A1-121556C2E27B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"09041749d2ab5531fddfd279ab58c42a5fde95ff","datavalue":{"value":{"entity-type":"item","numeric-id":913791,"id":"Q913791"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1327484$3E943B70-83D6-4DAA-AFE1-884EC313CC71","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f67c20b572d6e6cca3f91de32a62a3d9470db38f","datavalue":{"value":{"entity-type":"item","numeric-id":1163542,"id":"Q1163542"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1327484$A6D6B339-943A-4456-BBE4-8381AC346317","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"4eaf43a88b14444f4a8e2ab2282321b709bbbae3","datavalue":{"value":{"entity-type":"item","numeric-id":5601829,"id":"Q5601829"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1327484$CCB58245-52BC-4A61-B441-2DEEFB131A3B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"09d2c808a81e6deb09c8e0f0fc876492edc52fcc","datavalue":{"value":{"entity-type":"item","numeric-id":4106165,"id":"Q4106165"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1327484$4B8D9C54-7C2F-4DDC-A671-631A9AB219A3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"9bb4c293ac84f73e24d0bc6034fd38277a10584f","datavalue":{"value":{"entity-type":"item","numeric-id":1236106,"id":"Q1236106"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1327484$142EE88E-94A2-4800-91BB-47EEF68B34CF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"66574eb34f509ea079db48079e7bb3a0f6f8ffb2","datavalue":{"value":{"entity-type":"item","numeric-id":2639042,"id":"Q2639042"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1327484$89A3E33C-F539-4E4A-AE4A-562023610E61","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"0f382a9e403b007f04fb0dc7d8490550c220dea6","datavalue":{"value":{"entity-type":"item","numeric-id":1208116,"id":"Q1208116"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1327484$A48E864F-AAF1-4FB9-AE2C-7CE4C9266809","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"cc26fa796a66a72c66c59c6965003f439a477bdc","datavalue":{"value":{"entity-type":"item","numeric-id":5559532,"id":"Q5559532"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1327484$967CC2F7-4CB1-4819-AA82-9AB5CC8F8D84","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"5b853d154b53e8951a318625ffc8d6c8167bb1bc","datavalue":{"value":"https://doi.org/10.1007/bf01054712","type":"string"},"datatype":"url"},"type":"statement","id":"Q1327484$E9EB56B8-5956-4E28-86ED-B1B4E75D1FEA","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"d364c661967ad183e870ab3b71f8f99054bafa7f","datavalue":{"value":"W8500925","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1327484$FE51BE56-5A17-42E4-AE30-B2204E27064B","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"42a3728eb6d6cea535db12f53a28c7233f093a8f","datavalue":{"value":{"entity-type":"item","numeric-id":1263584,"id":"Q1263584"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"a644f66c6a57e10892d5eb633678c5bf3aef6fd8","datavalue":{"value":{"amount":"+0.8936703","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q1327484$AA9729D6-12F1-46ED-9D07-6C57C31B694D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"f6b90fe18750a62bb1daa9f4e4487b4461f90ded","datavalue":{"value":{"entity-type":"item","numeric-id":3817651,"id":"Q3817651"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"2ed554019b9da1ab90c2fc4e642594124913da2d","datavalue":{"value":{"amount":"+0.8893377","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q1327484$B01B18A5-E9D8-42CF-9BF2-84DD517F0523","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"9fcd9978da62d564145ea83436b767602f44e853","datavalue":{"value":{"entity-type":"item","numeric-id":2824401,"id":"Q2824401"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"8a4447175201e9f46a6f44716b0052caa2362255","datavalue":{"value":{"amount":"+0.88529223","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q1327484$0B7D8872-8418-4D78-8EDA-B0F807A87BE2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"54821d0c308119635f722a0f5763584c2b30e7a2","datavalue":{"value":{"entity-type":"item","numeric-id":3972527,"id":"Q3972527"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"fc357d9d5f8b8b1430a857e37389f31eb30c83ab","datavalue":{"value":{"amount":"+0.88479125","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q1327484$6AD11496-BA2C-454C-8FA1-89CFEFA1E9D0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"a5dcaa90a12624d93b41368191297c4a66a8ddf3","datavalue":{"value":{"entity-type":"item","numeric-id":2915082,"id":"Q2915082"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"dea6f09e158c3f9cc4c8da413092e63f03924879","datavalue":{"value":{"amount":"+0.88462734","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q1327484$C46ACF04-2DDB-4773-9CAF-7D40BD1300AB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"d66f0c96665b023d6c7d806c39d1dd834cb6011c","datavalue":{"value":{"entity-type":"item","numeric-id":3496314,"id":"Q3496314"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"9bf7395a5fb82d9fd77491219cdcad91b2cbb43b","datavalue":{"value":{"amount":"+0.88397944","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q1327484$2DEB5E81-4A84-4B40-9F01-C75C8DAB4372","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"970f6bd74278b378620351cad6bb2f9f6274e36f","datavalue":{"value":{"entity-type":"item","numeric-id":2807073,"id":"Q2807073"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"531a7c113f571d7ac0478fbb876000d1e24fb8c9","datavalue":{"value":{"amount":"+0.88217485","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q1327484$9761B739-411F-4B83-BF02-C37094A6A72E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"48a4e3e06fa8f5fa1613e3a0e750e25d9066b72c","datavalue":{"value":{"entity-type":"item","numeric-id":4281258,"id":"Q4281258"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"612a01b512bc3925ecaf4d07ed25d5967dec68ef","datavalue":{"value":{"amount":"+0.8804645","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q1327484$FF5834EA-C58F-420F-B542-63D79DAEDC74","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"843e523af5a1f031e3def03f94ae38c119ac1f4e","datavalue":{"value":{"entity-type":"item","numeric-id":987853,"id":"Q987853"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"32ee1d953672649a94fb6843ee8a1ee25574b829","datavalue":{"value":{"amount":"+0.8792292","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q1327484$DA7CB0A6-1BBA-4333-A283-BC584F152F25","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"87841b06f6d81884acd1204a2d1928d4d84031b9","datavalue":{"value":{"entity-type":"item","numeric-id":2534156,"id":"Q2534156"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"80d6e8393014b7ce78711f68dbb24d772140dcde","datavalue":{"value":{"amount":"+0.8777379","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q1327484$13FEF22A-7BE9-4B5A-9FAF-2AB78F0FCD1D","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"A Gentzen system for conditional logic","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/A_Gentzen_system_for_conditional_logic"}}}}}