{"entities":{"Q1119625":{"pageid":1130374,"ns":120,"title":"Item:Q1119625","lastrevid":66168876,"modified":"2026-04-12T08:00:22Z","type":"item","id":"Q1119625","labels":{"en":{"language":"en","value":"Sequent-systems and groupoid models. I"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 4097349"}},"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":"Q1119625$BFC6414D-622D-4A0F-930C-8348248457CB","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"1820d702ae3d32769cc45d4760c1df844829bcdf","datavalue":{"value":{"text":"Sequent-systems and groupoid models. I","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q1119625$60BB2DB9-DBDC-475D-9606-13B6F095B294","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"da3fae63dea035180388ca171b1e9dc201401fc8","datavalue":{"value":"0671.03018","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1119625$8DBF8248-45CC-4660-B75C-88C54B5B358F","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"50f4273dd03dca19c4fc26db23c0645396cc85cc","datavalue":{"value":"10.1007/BF00671566","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1119625$29CE814D-DC04-420C-ABC8-D954B710F804","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"3cf3d2b6ff3020598de12f1ebbad1e4de92dcc82","datavalue":{"value":{"entity-type":"item","numeric-id":383357,"id":"Q383357"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1119625$F9697427-238C-4FB5-AA97-448A05E5AA8B","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":"Q1119625$29078277-52DF-4E8F-8956-59E5CBCC1B85","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"31a1937240ca4a323604b4728c31d242b5596d7c","datavalue":{"value":{"time":"+1988-00-00T00:00:00Z","timezone":0,"before":0,"after":0,"precision":9,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q1119625$07C9FAFD-4FEA-4D65-96A8-5A0B9B22AC80","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"c65949e80264cebc515e4511e8924f164741ef58","datavalue":{"value":"The author studies a family of non-classical propositional logics related to Heyting's and Johansson's as well as to relevant logics, Lambek calculus of syntactic categories and BCK algebras. Their language contains propositional binary connectives \\(\\to\\), \\(\\wedge\\), \\(\\vee\\), \\(\\circ\\) and constants \\(\\bot\\), \\(\\top\\). The least of these logics (called L) corresponds to a class of algebras called urlogs (right-residuated lattice-ordered groupoids). A cut-free sequent calculus is built for L. Also some extensions of L and their sequent variants are considered. In particular, Heyting logic is an extension in which, among other properties, \\(\\circ\\) and \\(\\wedge\\) are equivalent, etc. A nice feature of the sequent systems studied is that their formulations directly correspond to properties of groupoid models.","type":"string"},"datatype":"string"},"type":"statement","id":"Q1119625$3D5128E2-0B0F-4837-A082-4B779951EE85","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"89a6721807d2106ad3a18783b4fcbc004e6a56c5","datavalue":{"value":"03B60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1119625$C198CCE6-3C65-46C5-8898-D97DE273AE87","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"74a6cec96241e450625296e63e8dd539239d7104","datavalue":{"value":"03B45","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1119625$0A9D0CF0-DB94-40AA-9E09-AF552FCCB0C6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"beee3648fc78215bd3297256b1ada8fd8f08734e","datavalue":{"value":"03F05","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1119625$94A34D84-CB52-4CAA-9DE5-234BA8DF17BC","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"5b1db03a930cce2d980eb07c69081eb0d50cce21","datavalue":{"value":"4097349","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1119625$72FF4EBF-AD62-4406-AC6E-801C0DDE39E2","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"3e589d0a6f7ab8cb162e54a176552467eb25fe36","datavalue":{"value":"non-classical propositional logics","type":"string"},"datatype":"string"},"type":"statement","id":"Q1119625$67E7E69F-A944-4E6E-B5F1-8938D5C24705","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"c9ff9e05bd497c21e5c56f07f4e7610567280626","datavalue":{"value":"urlogs","type":"string"},"datatype":"string"},"type":"statement","id":"Q1119625$11477F89-3CD4-43EF-A3F3-01E9BD56E49C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"4c8e2875f94b547e8e51d4354560d57f874f7e1c","datavalue":{"value":"cut-free sequent calculus","type":"string"},"datatype":"string"},"type":"statement","id":"Q1119625$6AA8AA0F-5502-4306-B11C-64A62E9779E8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"5474236e41d3d8842b9646d4c16a192cc6a89c8d","datavalue":{"value":"Heyting logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q1119625$6E3DB048-8500-4A2D-AF5B-351A1D008CA8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"5943f7b7970b8875340c743c4930c9c97ed6db16","datavalue":{"value":"groupoid models","type":"string"},"datatype":"string"},"type":"statement","id":"Q1119625$91C925FC-4E89-43D6-876B-6D68036987F0","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":"Q1119625$28AEBF06-3E62-4C37-983F-61ECB40EC456","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"9957386f86b992cf0b7a5c54942755ce3377f379","datavalue":{"value":{"entity-type":"item","numeric-id":3724306,"id":"Q3724306"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1119625$E27C310A-4461-4087-9436-B82366A0452F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"cf22a1b31489d7fbc69dbf46c47b3597cd6245b7","datavalue":{"value":{"entity-type":"item","numeric-id":4342092,"id":"Q4342092"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1119625$2D5246F8-F290-42D6-A1E6-423F9BCE8E29","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f580077c20a971d5f9bd8188096db37f21f37730","datavalue":{"value":{"entity-type":"item","numeric-id":5187258,"id":"Q5187258"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1119625$80BAED2E-6683-43BF-9FEB-5832625E5A10","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"9bd51ad54ca02f559512a4034c9b2d959e995353","datavalue":{"value":{"entity-type":"item","numeric-id":3677747,"id":"Q3677747"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1119625$303951BE-5300-452C-ABA3-AC3BB4C8F70E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ef4b6b597c392f121198f54c1e5355d74d4f277b","datavalue":{"value":{"entity-type":"item","numeric-id":1213436,"id":"Q1213436"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1119625$5C8F1E5A-F414-4503-ADA6-0EF615638598","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"62b48c532a247c27214086098cf9ed71ec25a644","datavalue":{"value":{"entity-type":"item","numeric-id":5509706,"id":"Q5509706"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1119625$1F591E8F-34B7-4CE5-8030-8A691A77D23A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"5e74a7a357b1b46dc042b2194329594218f6b370","datavalue":{"value":{"entity-type":"item","numeric-id":1840142,"id":"Q1840142"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1119625$0BF4BDEB-BA27-411C-A1F5-CC0DC4D30CB0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"dc1d79132a7ff6bd4c9f7ecdd27343ffd9a0068f","datavalue":{"value":{"entity-type":"item","numeric-id":4165379,"id":"Q4165379"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1119625$9D4EF043-2EB4-4FE4-AE72-5ABD67CE4D27","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"af4323bdc39c54a56954ce28f1eea70d7c114734","datavalue":{"value":{"entity-type":"item","numeric-id":3879232,"id":"Q3879232"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1119625$94661B5E-C3A4-479F-9093-21BC16BF0994","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"540b5f1c92a5505017beef915955147cee1506a9","datavalue":{"value":{"entity-type":"item","numeric-id":3247120,"id":"Q3247120"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1119625$CB3F3FA3-F922-4D90-86B3-E8D3CA6FBA6A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"6fc09538a5c77707bd740c1af4339f9cfde82b8b","datavalue":{"value":{"entity-type":"item","numeric-id":3707997,"id":"Q3707997"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1119625$B0C999D9-F7D6-4741-BF69-049141E7B23A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"98782dca1b1c9d3479c56bc90f4cd51924e8bc96","datavalue":{"value":{"entity-type":"item","numeric-id":5734410,"id":"Q5734410"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1119625$9AF6824F-0EE9-4F5F-AC95-AD5F7ADBC04D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b698b009fdbc19342ee3cf4dca8fe2d035620a40","datavalue":{"value":{"entity-type":"item","numeric-id":4077984,"id":"Q4077984"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1119625$E42A5AB7-40D1-4C67-85FD-CDF967C7F224","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"007b87d18be1bd3e2fbd81414ccfc6a3fc0bf0b9","datavalue":{"value":{"entity-type":"item","numeric-id":1221739,"id":"Q1221739"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1119625$9BBCF9F9-C14D-4C17-8D2B-C7586E63E054","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"84c60d9aa764a441319bcc6ddab79cc77f2f6681","datavalue":{"value":{"entity-type":"item","numeric-id":1221740,"id":"Q1221740"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1119625$D8815351-F7B4-4FAF-9635-61542FA2217A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"8e19b9ac11c70c2ebcf90a02f1f65e02b87b9904","datavalue":{"value":{"entity-type":"item","numeric-id":5656747,"id":"Q5656747"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1119625$8DE2110B-BAF4-4A1B-AE3F-F1A3C5AE692F","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"e331e81a6fe31512903d41fe1e2fd240df0c4836","datavalue":{"value":"https://doi.org/10.1007/bf00671566","type":"string"},"datatype":"url"},"type":"statement","id":"Q1119625$9AA460C3-BE3E-4C90-ABA9-C4700C19C58F","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"167101103c339c6ec365f7a8e4009c8c840f9a65","datavalue":{"value":"W4239173363","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1119625$665EE050-F9D0-4982-B8C2-CFFEEBE011B5","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"2bf7b225375aaeeb7f3d5e74b504aac437ec671e","datavalue":{"value":{"entity-type":"item","numeric-id":1263573,"id":"Q1263573"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"d2032062035de0f561e155a7a230bb3cfded5f6d","datavalue":{"value":{"amount":"+0.8720158934593201","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":"Q1119625$C82FBBE6-15BC-4581-A801-A6A49CF9D1C1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"6eb50c0a66031ae753b861dd521ff92223c823a1","datavalue":{"value":{"entity-type":"item","numeric-id":5014595,"id":"Q5014595"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"0f525f18345b76c59a247466d6e95a179faba6bc","datavalue":{"value":{"amount":"+0.7422329783439636","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":"Q1119625$E0481410-1088-48FF-BCE8-E63A90242642","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"e8c0a141dedfddc56b734f3996f4aacfbab631f9","datavalue":{"value":{"entity-type":"item","numeric-id":4419270,"id":"Q4419270"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"9b0b16f20cf106325dda0d2f17bdd108d8a42f17","datavalue":{"value":{"amount":"+0.7419183850288391","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":"Q1119625$3F31CABD-C506-43BF-90A5-095FF01D3E3C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"3ed2ed59f9c82abca3f91f0e8daeb18df51bd2d6","datavalue":{"value":{"entity-type":"item","numeric-id":636346,"id":"Q636346"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"724c6a1b55e737292b3a7c8930bed47b88758644","datavalue":{"value":{"amount":"+0.7380946278572083","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":"Q1119625$411ACF6B-FECC-4545-9A33-A2851992F32D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"cd51efe569759d2e72a0c824752e6829a4649347","datavalue":{"value":{"entity-type":"item","numeric-id":3153288,"id":"Q3153288"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"0797711fb3ac9a4d1ebd4ba497721823661842d3","datavalue":{"value":{"amount":"+0.7260616421699524","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":"Q1119625$F641A6D8-4CA2-44CF-99B4-347AF771AB23","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Sequent-systems and groupoid models. I","badges":[]}}}}}