{"entities":{"Q2367544":{"pageid":2378287,"ns":120,"title":"Item:Q2367544","lastrevid":46297524,"modified":"2025-12-24T12:39:35Z","type":"item","id":"Q2367544","labels":{"en":{"language":"en","value":"A simple sequent calculus for partial functions"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 269350"}},"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":"Q2367544$25034387-6752-4CA7-9131-40E8D3DF2B3B","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"0db515ce8a81cbf5ca7878413897dd2dc952c42e","datavalue":{"value":{"text":"A simple sequent calculus for partial functions","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q2367544$570CD9C3-8D21-40CB-BB66-1A438386EC87","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"b6a4a05c95250ff61d07534a7ca5168ff7be76e1","datavalue":{"value":"0791.03008","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2367544$B8983944-BE9F-4713-ACCB-54DE287EC70A","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"5f568a08d89a18464ad79aa71442fd60b236920c","datavalue":{"value":"10.1016/0304-3975(93)90077-7","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2367544$F0AACF00-AB04-4868-AE75-AC70B2ECFD38","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"ee61b8855b069beb21cb3bfc53098bdec304afe4","datavalue":{"value":{"entity-type":"item","numeric-id":2367543,"id":"Q2367543"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2367544$89533E7D-3040-411F-82A9-B4FF65EA5452","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"49a3a8c4e00dcbc97f85642c2695ec01433ebead","datavalue":{"value":{"entity-type":"item","numeric-id":444465,"id":"Q444465"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2367544$EFDE0E6A-E8AD-4CF9-B3ED-EA7AA8117A5F","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"f3c424cd94a60f9664f9fb69cc6027e75cc7ff3f","datavalue":{"value":{"entity-type":"item","numeric-id":123643,"id":"Q123643"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2367544$EF5EC983-50D8-4C99-85DE-FC95BBBFC3E3","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"13a6e9c23237d2f4dc6bd39ddd6ba0625b4c6824","datavalue":{"value":{"time":"+1994-07-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":"Q2367544$BE5E26FC-A16F-4147-9613-BF33BCAD0DF6","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"6fbe591d6832b888c7db59a225ec285c69d268b4","datavalue":{"value":"A sequent calculus is developed for some three-valued logic, which can be used to talk about partial functions. At first, different possibilities for defining three-valued logics are presented, the advantages and disadvantages of these logics are discussed and reasons are given for preferring one of them. The calculus chosen is called WSL (weak-strong- logic). It uses sequents of the shape \\(A \\lvdash B\\), \\(A\\) and \\(B\\) being formulas called hypothesis resp. consequent. If false -- nonfalse -- true are the truth-values, \\(A \\lvdash B\\) is interpreted in this way that if the hypothesis is nonfalse, then the consequent is true. This is the most restrictive possibility. For instance, \\(\\lvdash A\\Rightarrow A\\), \\(A \\lvdash A\\), and \\(\\frac{1}{0}=\\frac{1}{0}\\lvdash \\frac{1}{0}\\not=\\frac{1}{0}\\) are not valid in WSL. Especially, the first are to get accustomed to. The very advantage of WSL is that nothing can be proven from or about something undefined. The calculus is introduced for a finitely many-sorted language. Semantics is given in such a way that the function symbols are interpreted by strict functions. Thus side- conditions can be avoided, which are necessary in other logics. Therefore symmetry is preserved and close relations to the classical Gentzen system are kept. For instance, the deduction theorem is valid. Soundness and completeness are stated. The proof of cut elimination and a proposition on the expressive completeness of the system are sketched. The known well-definedness operator \\(\\Delta\\) can be defined as a metasymbol in WSL.   As other papers on this kind of topic, the paper under review does not contain an example for the application of the logical system in describing programs in computer science.","type":"string"},"datatype":"string"},"type":"statement","id":"Q2367544$69011577-EDBC-4015-811D-4B2D6369AABE","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"bf715f882d7ad0c07303aa3e6e3ac3725da52515","datavalue":{"value":"03B50","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2367544$1CF45184-B22D-437F-B00A-6C7E094A2DE3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"d53cd5ab715340bbfc507bf5b4aac1b907f4465d","datavalue":{"value":"03B70","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2367544$CE6A630A-057E-4287-AC5A-5C79B6D02C2B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"7cfff2e3b7f009b69ae82e4aa296ae1902bd02ff","datavalue":{"value":"68Q60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2367544$533F01F4-1215-49A2-871E-E2560EDA6F5B","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"39b2345b58531c70311d8dae0ee10fe4506f4b07","datavalue":{"value":"269350","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2367544$14D6BBF1-A2F8-447C-AA67-77C3FCE5A877","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"bcbd924e5771865ceeb77c5e09e583fc37c0e0ea","datavalue":{"value":"logic for partial functions","type":"string"},"datatype":"string"},"type":"statement","id":"Q2367544$458B8A88-1340-4C1C-852D-A6E4802A5272","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"3e84716ec38c1f77bdfa8a5c21ca044e17c45531","datavalue":{"value":"weak-strong-logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q2367544$70C96668-8C76-4197-A3E3-15A870D55F99","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"fe51228e17b836f3520db7bc0de40e5086eebee3","datavalue":{"value":"soundness","type":"string"},"datatype":"string"},"type":"statement","id":"Q2367544$6A8F46E8-64CC-456C-80F6-B36839762971","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"2c7d4aa0d3cf1745112ae7d594a2a5578f4e767f","datavalue":{"value":"sequent calculus","type":"string"},"datatype":"string"},"type":"statement","id":"Q2367544$ABA233C6-5223-4C90-AEA2-AFC2323B593F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"fe9774c3f67d416a6c8463ab2f991bf6eb18e479","datavalue":{"value":"three-valued logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q2367544$2D58DF3F-3EF2-4A3A-805E-EF7019B570ED","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"886cd48ede84d1e4cded9add13d9fd87244a71f6","datavalue":{"value":"deduction theorem","type":"string"},"datatype":"string"},"type":"statement","id":"Q2367544$70CC9346-34C6-48A7-A5D8-D53357687542","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"f6816fdf79dd11ac09d9af4886c02baab03d2cf9","datavalue":{"value":"completeness","type":"string"},"datatype":"string"},"type":"statement","id":"Q2367544$F7B39129-FF23-4325-90C4-ABC3736821A8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"dcfc1bc00c58245854e787073d98b7cbed7ce1ba","datavalue":{"value":"cut elimination","type":"string"},"datatype":"string"},"type":"statement","id":"Q2367544$82F6264D-6E91-4CE4-B14B-D02C143D2BFF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"85fa719687a863a2711abb88df1c8caf1ac555c9","datavalue":{"value":"expressive completeness","type":"string"},"datatype":"string"},"type":"statement","id":"Q2367544$3D7C48EA-8E6C-47E5-AEAC-3103317BE82A","rank":"normal"}],"P1447":[{"mainsnak":{"snaktype":"value","property":"P1447","hash":"0580dd4129e5d6439921b513d45494c072f33534","datavalue":{"value":{"entity-type":"item","numeric-id":1288968,"id":"Q1288968"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2367544$7803A67F-1918-4E0B-9D2C-586203E24ED1","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":"Q2367544$CEEE746F-A88B-49F0-9398-C70E928786F4","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"8e6be133a67c01e22ef7d151bfa66d85445a7a21","datavalue":{"value":"https://doi.org/10.1016/0304-3975(93)90077-7","type":"string"},"datatype":"url"},"type":"statement","id":"Q2367544$911B80AC-DDE2-42C5-BF56-E4337BB27FDC","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"a04edb5dfba8d147b16b19d2c3600368cfb3de3f","datavalue":{"value":"W2083819142","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2367544$9CA08D45-B520-41EB-9CE3-50BFDFE84F7C","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"43cb3ade3f2f5cdf738cd2fdc612982bf7c12bd6","datavalue":{"value":{"entity-type":"item","numeric-id":3981456,"id":"Q3981456"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2367544$BBC410B0-DE48-44F6-8F25-85C13E629571","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"3f474b409a8f3415f67c4fa840940f857e860d83","datavalue":{"value":{"entity-type":"item","numeric-id":790610,"id":"Q790610"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2367544$131ED458-8CAE-43B6-8EA4-C771FB43AF78","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"eba598b353df13ba5ae2c7683f441b0dc7d3ee8f","datavalue":{"value":{"entity-type":"item","numeric-id":4342079,"id":"Q4342079"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2367544$495E27D3-4E9E-402D-9868-83C9FC131A5C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"128e020ba7fd715406da6da5c129f63f6a4f81b3","datavalue":{"value":{"entity-type":"item","numeric-id":4004235,"id":"Q4004235"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2367544$411CDA92-3213-47FC-94BA-DFD7D19BD4ED","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"6aec62f24d20c866a516f4311fd16ad7789a2ec7","datavalue":{"value":{"entity-type":"item","numeric-id":918965,"id":"Q918965"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2367544$4BE8E3AD-FF84-4DCE-9F7D-9F90B338434A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"99c6176bcb92cea3bde43c51d54f8875f446d09c","datavalue":{"value":{"entity-type":"item","numeric-id":3994895,"id":"Q3994895"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2367544$B89F2C7B-0E0E-4275-9E5F-8D75B2A4F115","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"49499fa413e0bbb6f66deafc0ad08df89338b209","datavalue":{"value":{"entity-type":"item","numeric-id":3050399,"id":"Q3050399"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2367544$7D922C6F-BC5A-446B-AFFF-2C37D8AA9964","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"107b7ade2e5dee4a5ce02a0c6982bcf823cdb3b4","datavalue":{"value":{"entity-type":"item","numeric-id":3671121,"id":"Q3671121"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2367544$DCED3BED-327A-4CE3-81DF-BF03847E5E8E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e8b0286e1a8e2ce6ae96a726304d2c00c6fa88f5","datavalue":{"value":{"entity-type":"item","numeric-id":2276950,"id":"Q2276950"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2367544$4B47F021-FE9B-415F-A046-E8AC9857A3A6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"47b342d4451cb295a5190f3b862f83e79293b4b6","datavalue":{"value":{"entity-type":"item","numeric-id":1261311,"id":"Q1261311"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2367544$A744A186-7634-43CF-874D-6DCFD7B07106","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b8d95625ec9e5b7c46cee42d87256157d982706a","datavalue":{"value":{"entity-type":"item","numeric-id":5559220,"id":"Q5559220"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2367544$E89AA276-B330-47E7-A840-9A2D5B732662","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"00589f0c4c39e8d1625a08b8a2f19987aaf9c05c","datavalue":{"value":{"entity-type":"item","numeric-id":3988059,"id":"Q3988059"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2367544$AB7ECF34-1102-4591-B81B-25278C3A4D2F","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"3e43dbe1520a1337ef3145fb25110ab262401fdd","datavalue":{"value":{"entity-type":"item","numeric-id":5096142,"id":"Q5096142"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"df5bef5814c29e1ce5116f68f408f4af73aa2dd3","datavalue":{"value":{"amount":"+0.7857654094696045","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":"Q2367544$016FD8C8-470C-473B-B4CD-964B3DD79D6E","rank":"normal"},{"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":"d398760256f446473e024b80f9962f40c75035fe","datavalue":{"value":{"amount":"+0.7780795097351074","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":"Q2367544$71DF214B-8DB6-4693-A752-2DDBBEE0759C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"84bbb944d7bd330bc1afb709ccce74d67d547970","datavalue":{"value":{"entity-type":"item","numeric-id":1277163,"id":"Q1277163"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"6243c004e8df6b5f81f70f3ee143bb7a574c13ea","datavalue":{"value":{"amount":"+0.7780286073684692","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":"Q2367544$ABE96FE8-6FB9-4AF6-83ED-1062B9CFAAE7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"ce4e2643c8d219f6a262b2a94612ddef7a7ab0cb","datavalue":{"value":{"entity-type":"item","numeric-id":1261311,"id":"Q1261311"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"607cff3d5f1eaa9fff9a010fdea8660d16cade3f","datavalue":{"value":{"amount":"+0.7532806396484375","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":"Q2367544$B96F9E1C-D707-489E-801D-FACAA9A3DE36","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:2367544","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:2367544"}}}}}