{"entities":{"Q2277440":{"pageid":2288183,"ns":120,"title":"Item:Q2277440","lastrevid":49491457,"modified":"2026-01-07T07:17:15Z","type":"item","id":"Q2277440","labels":{"en":{"language":"en","value":"Relevance and paraconsistency - a new approach. III: Cut-free Gentzen- type systems"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 4197956"}},"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":"Q2277440$BA495670-E853-442D-9BC2-DFF11E6E4EF8","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"80a9fd345e9821671ade21107b2dd59778d635c6","datavalue":{"value":{"text":"Relevance and paraconsistency - a new approach. III: Cut-free Gentzen- type systems","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q2277440$65284CC8-098B-4CCB-9E33-7B762941B5FF","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"b4b1019d3bcc0f2470d8b5834be863ecafa6cb2c","datavalue":{"value":"0726.03012","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2277440$30362E81-C98D-4D99-9E3E-DE24370C2FAF","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"38e5feaca6a18ae5db8032e07273f94a7d6bf0a9","datavalue":{"value":{"entity-type":"item","numeric-id":229729,"id":"Q229729"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2277440$18BE3DB9-EBA8-484E-9405-356C29721F7D","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"6325d9f59cde8ebbdb24a9f950cab3fcef3decf6","datavalue":{"value":{"entity-type":"item","numeric-id":190248,"id":"Q190248"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2277440$D41F2419-C22A-4F3C-822F-D6DD88EB52D5","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"391107ffc7a24346d69c573e292e4ff4587e3aaa","datavalue":{"value":{"time":"+1991-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":"Q2277440$0F3C1EDA-EF37-4078-B21D-EE0603A66405","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"503f19ca5752c878c1a29fb0d8ef21a95ad7411d","datavalue":{"value":"The paper provides a cut-free Gentzen-system for the logic RMI [cf. part II of the present series, ibid. 31, No.2, 169-202 (1990; Zbl 0714.03020)]. The system employs the notion of a hypersequent, a disjunction of ordinary sequents [see the author's paper in J. Symb. Logic 52, 939-951 (1987; Zbl 0639.03017)].","type":"string"},"datatype":"string"},"type":"statement","id":"Q2277440$2DB9D8E8-6BD6-4D98-902F-D9A758401845","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"b363e494c684597e57f0cc15c7c0d8f9f3bcf9fc","datavalue":{"value":"03B47","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2277440$4E402850-395B-41A8-962B-7E6D9A863371","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"da16cc6c6eb08bf82419ecf96189672d0591bc99","datavalue":{"value":"03B53","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2277440$BFC17230-B892-41B8-8E27-A34EC8561C97","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"beee3648fc78215bd3297256b1ada8fd8f08734e","datavalue":{"value":"03F05","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2277440$154B221E-9014-4DB4-B00F-DCE99B59A7D6","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"5f2fca6b69f589cf5a13afcee54ea94c7509724e","datavalue":{"value":"4197956","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2277440$5D1DDBF9-9DC8-4D79-855A-651972EDF520","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"ee0a69ba46a5f23ccf6ad83fcf01b7501a19fa4e","datavalue":{"value":"cut-elimination","type":"string"},"datatype":"string"},"type":"statement","id":"Q2277440$B2C48E93-2BEE-4B20-A5F0-3F75F8C57F8F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"5a777e3d581b85c7c517462ca2eb42b339de8f63","datavalue":{"value":"cut-free Gentzen-system","type":"string"},"datatype":"string"},"type":"statement","id":"Q2277440$D4CBB77A-D827-4CC5-90B6-7FAF6144D9E4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"3f935052770c5c4552aed85467366992020e5678","datavalue":{"value":"logic RMI","type":"string"},"datatype":"string"},"type":"statement","id":"Q2277440$83FF2A98-D07A-493D-B04E-4B694ACF4A18","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"4e3b78f3149db7c0dcc97ef2bd019728dfc4b35a","datavalue":{"value":"hypersequent","type":"string"},"datatype":"string"},"type":"statement","id":"Q2277440$9FC2D9BA-0D62-42A8-B036-F49B7D012927","rank":"normal"}],"P1447":[{"mainsnak":{"snaktype":"value","property":"P1447","hash":"5a8775a791b699bfd3cf73592d2f327da9f87e5a","datavalue":{"value":{"entity-type":"item","numeric-id":452355,"id":"Q452355"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2277440$E51C0095-7C72-4BD4-B683-D32447104061","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":"Q2277440$58C72D51-4701-43FD-BA26-C0806C2D1AF8","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"2cc271630692182e998a20f3966d12382fddb836","datavalue":{"value":"https://doi.org/10.1305/ndjfl/1093635673","type":"string"},"datatype":"url"},"type":"statement","id":"Q2277440$BDF9E97A-A4EB-4B2E-B0E1-009F3B525562","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"8828d3fdbea1dcc92d98624947f051dd42f1e0ef","datavalue":{"value":"W2008012192","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2277440$5E921E54-09F1-4893-8506-454E3DE661A7","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"e7f38259491eef091696b5d6fd9cc8078284ee0f","datavalue":{"value":"10.1305/NDJFL/1093635673","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2277440$87C87603-90DF-4E65-88F3-6D70AACFAE6E","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"6a849e2dc62f24cc282b64497e1acd6070de7729","datavalue":{"value":{"entity-type":"item","numeric-id":750419,"id":"Q750419"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"ae7fd5e6a1b713587f96180dc44a381776d15ce1","datavalue":{"value":{"amount":"+0.8147144317626953","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":"Q2277440$E914C2FE-4D35-43F0-A5EE-37AB62A59FB4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"882febc478e66658daabbfaadf61053485c76d10","datavalue":{"value":{"entity-type":"item","numeric-id":3781069,"id":"Q3781069"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"2280482d9545baef715c39d5325f08d8944bad0b","datavalue":{"value":{"amount":"+0.8077419400215149","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":"Q2277440$B79C2CCC-87ED-4E9C-96DC-0BB2CD24DD4E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"8ab561870c7225f539ca25f1fa498ee781390554","datavalue":{"value":{"entity-type":"item","numeric-id":579235,"id":"Q579235"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"46d83c75ecb13d7d9bb16c6960188debbc7354d2","datavalue":{"value":{"amount":"+0.7688595652580261","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":"Q2277440$9D5B9480-0D6E-4588-884B-9CFBA3F1AE41","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"5216c12011557aab9968b27125ae5048ba8d2088","datavalue":{"value":{"entity-type":"item","numeric-id":4395550,"id":"Q4395550"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"4d02d04e2a3bce529596da1cef4b08b8ce457a88","datavalue":{"value":{"amount":"+0.7566369771957397","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":"Q2277440$08D4948B-2272-40E3-B231-59774FF13D19","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"827bd3ad20f35ba7a16e52d1924b4f856da1f871","datavalue":{"value":{"entity-type":"item","numeric-id":5300580,"id":"Q5300580"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"23f8d5190dea2fe7e54ff3ebdd8c0b7bf642d3a6","datavalue":{"value":{"amount":"+0.7552697062492371","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":"Q2277440$02C6622A-DCBF-4C9E-8AAB-9E7ACDFA9C0A","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:2277440","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:2277440"}}}}}