{"entities":{"Q685059":{"pageid":686908,"ns":120,"title":"Item:Q685059","lastrevid":47187991,"modified":"2025-12-31T23:04:57Z","type":"item","id":"Q685059","labels":{"en":{"language":"en","value":"On the unity of logic"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 416874"}},"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":"Q685059$327EA9EF-4F2C-491F-842F-3323FFF2A07F","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"0645ebb80d407aa31a4807d092b52bec5bfc6aba","datavalue":{"value":{"text":"On the unity of logic","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q685059$29BAFE92-9ED1-43F7-8B15-DAF6C8A089D5","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"929ba31c42f64f36d181dbc22dc395ecad628a25","datavalue":{"value":"0781.03044","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q685059$B794120B-19CA-48C6-A1FB-3904B2FC71D2","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"92b6b59cd37f9202ed9329370db05123f493a338","datavalue":{"value":"10.1016/0168-0072(93)90093-S","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q685059$623265D8-7136-485D-AFFF-3800DDFE8D36","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"8d6b929913024f5e29c5ce062084dc3d0e1a3509","datavalue":{"value":{"entity-type":"item","numeric-id":534693,"id":"Q534693"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q685059$77C16C29-F32C-4BC6-956E-26EBCAC29E6B","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"f91a4bcbc93435aed71775d25a4c5cd09e26f12d","datavalue":{"value":{"entity-type":"item","numeric-id":122505,"id":"Q122505"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q685059$944EB878-DFFB-48A6-ADB6-D7150A3393B8","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"6918393775fb1c8826438f5277bce44cf6f24c36","datavalue":{"value":{"time":"+1993-09-22T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q685059$C18732BC-8D16-4531-8EE5-BB6857449C0F","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"8caa4c027c3e78d892870693effaa21efc46d682","datavalue":{"value":"This is a drastic extension of the author's previous work [Math. Struct. Comput. Sci. 1, No. 3, 255-296 (1991; Zbl 0752.03027)]. A single cut-free Gentzen-type system unifying classical, intuitionistic and linear logic is devised. The list of rules takes four pages, but the system is not a mechanical mixture of known systems for sublogics. The unifying element is the translation of stronger systems into linear logic, which underlines the notion of polarity, but is not explicitly present in the system.","type":"string"},"datatype":"string"},"type":"statement","id":"Q685059$F84FA1D4-CA44-462B-B10A-EC483597C790","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":"Q685059$B964AAB9-C6E0-4079-80FC-516026A36D8E","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"beee3648fc78215bd3297256b1ada8fd8f08734e","datavalue":{"value":"03F05","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q685059$B11C15A2-D9C2-44B6-89C6-A5DE6BAECF14","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"8612eb3fa5372f4e40168b827ed17a01cee8d8f6","datavalue":{"value":"03F50","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q685059$58E57E09-806C-4F83-8437-942A3F5FF1CE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"2337f934f367559a8ee0c48540aa4d52d0fa385a","datavalue":{"value":"03B20","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q685059$AC4BC089-3348-4A77-8A5C-0D1C7ED84680","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"c06e0874e30722381d620ef69fb36c407a01cb04","datavalue":{"value":"03B10","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q685059$D2D56A62-8F66-4BBC-A566-0C272FA878EC","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"5e473021908085b28ec10caaa4c61e74985aa02b","datavalue":{"value":"416874","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q685059$FF75CE27-0E71-4277-A7FD-0E4FA8CD04A7","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"9ffd3928aa1fd818bc1a8806528172e266ac8bcc","datavalue":{"value":"classical logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q685059$10326450-65C0-4AC6-A120-EB743E2F3CF1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"d450f4b3083fe34d24db452ee74b92106c27a96e","datavalue":{"value":"intuitionistic logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q685059$34EB69DF-04B9-4209-98C9-84CEB3C429BF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"18e4e4c5575f8a32a878fb6a5445c7528aa4e8ae","datavalue":{"value":"cut-free Gentzen-type system","type":"string"},"datatype":"string"},"type":"statement","id":"Q685059$56505BA8-16C5-40D9-AFAF-F85E75CEB62A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"7f688d80cd10dc9c0b004843c0674655ad59b2fb","datavalue":{"value":"linear logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q685059$AC2BE021-0521-4583-8116-0EE3A99537B8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"7cc7ed5f11fd02b4ebbdd5eb4c8b5c2fae98e5ca","datavalue":{"value":"polarity","type":"string"},"datatype":"string"},"type":"statement","id":"Q685059$60CF30F2-9C4A-4A5C-AA5B-9914241B22FE","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":"Q685059$6E8FC121-F920-4BA8-8CA5-636C372E7A87","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"ccaa3f7e97d228d907b8c697808a7482aef33deb","datavalue":{"value":{"entity-type":"item","numeric-id":3357521,"id":"Q3357521"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q685059$AE335520-87E0-4C18-AABF-7573C0DC3914","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"4a2b2a8cf71a298beb3d5742fd0312db85012cf7","datavalue":{"value":{"entity-type":"item","numeric-id":579249,"id":"Q579249"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q685059$59F39CDD-FEA8-4913-B277-56CB67083226","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"9d66518f09c99314187d256b3e54c7fdc6eb07ce","datavalue":{"value":{"entity-type":"item","numeric-id":4006233,"id":"Q4006233"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q685059$1CC41D4E-9750-406A-A264-7BE931FCFE9B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"8c7312367626057a1ed18ce459375f7ee2aab280","datavalue":{"value":{"entity-type":"item","numeric-id":3986870,"id":"Q3986870"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q685059$C8013861-518A-4516-AE4C-BF1944BFF440","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"e11835fc892e81a69bdf321664708a67aec1c109","datavalue":{"value":"https://doi.org/10.1016/0168-0072(93)90093-s","type":"string"},"datatype":"url"},"type":"statement","id":"Q685059$6875F9D6-F495-4A88-9F78-06377F3D3287","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"c426889853034cffec7a94187e56074b62904c3e","datavalue":{"value":"W2144747140","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q685059$08CEB101-074C-4A7C-8F9B-8919BB0F8E0D","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"a275a3ef2b207469a2d15d34b603cdd3bad6ef59","datavalue":{"value":{"entity-type":"item","numeric-id":2367410,"id":"Q2367410"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"b854a19b08195506911a5ad613453fa2d76eafd8","datavalue":{"value":{"amount":"+0.7868486046791077","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":"Q685059$74C7A277-EC4D-4073-BA33-0AC3BDAD4C1C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"a7db1b918008c293a5e360fa54f09bb24147cc28","datavalue":{"value":{"entity-type":"item","numeric-id":3450801,"id":"Q3450801"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"8dcec4a4e0c45841687895548d03e99050d49a76","datavalue":{"value":{"amount":"+0.785593569278717","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":"Q685059$083BBDAA-39D8-48A9-9B9D-EAA4DA6C33BE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"3ec16b81c8bad4e17a82f67080a61057bc5e408e","datavalue":{"value":{"entity-type":"item","numeric-id":5236553,"id":"Q5236553"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"26c707f585e22f4b2208b047529a5eb3e68f23e6","datavalue":{"value":{"amount":"+0.782538115978241","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":"Q685059$061B7328-FD5D-44DC-B869-39E673110F9A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"536541ba594eec30f062b08fe0b93fee0d161bde","datavalue":{"value":{"entity-type":"item","numeric-id":639671,"id":"Q639671"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"5e4456f2724c9fb6eec091b8feea8027e9d013a8","datavalue":{"value":{"amount":"+0.7637191414833069","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":"Q685059$CFB77156-0E78-43EC-A893-87EC4560B530","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"09158d34a4904eab388c01ecae4796ef896eadf6","datavalue":{"value":{"entity-type":"item","numeric-id":4372906,"id":"Q4372906"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"68cecf81611f7f8f90173e3aa56b53f425ed6ef9","datavalue":{"value":{"amount":"+0.7620959877967834","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":"Q685059$CE4A001E-62B2-4BDD-BFAE-76E1941F63C5","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:685059","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:685059"}}}}}