{"entities":{"Q2743637":{"pageid":2754376,"ns":120,"title":"Item:Q2743637","lastrevid":47675923,"modified":"2026-01-02T09:57:05Z","type":"item","id":"Q2743637","labels":{"en":{"language":"en","value":"Semantics for structurally free logics LC+"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 1652327"}},"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":"Q2743637$C733C4BF-BB90-4938-90B2-002F4D4DBA2E","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"ff44cb3125b35459c56688f1864c46e482310fdb","datavalue":{"value":{"text":"Semantics for structurally free logics LC+","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q2743637$8F378D90-4478-4C9E-97D2-8BD987BE7AE6","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"d90420ac00224ca296b7367b4322101ae7d766a6","datavalue":{"value":"0986.03019","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2743637$312BF29A-7A49-4B01-8CAD-BEA45FBD7E8A","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"66f84fbf84627872ee8e4f09b27f58a25c3028cd","datavalue":{"value":{"entity-type":"item","numeric-id":266640,"id":"Q266640"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2743637$1A9DDB40-FA2A-483A-ACE2-5F0EAE2F388B","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"699252fe7d0c2555c03ae79bf201a68b560e82c1","datavalue":{"value":{"time":"+2002-06-06T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q2743637$D6D02D90-723A-42BA-A923-D619F226FC74","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"b363e494c684597e57f0cc15c7c0d8f9f3bcf9fc","datavalue":{"value":"03B47","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2743637$490C70A6-E5CB-434C-B530-BFB67D606312","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"625495dc8cf796ad780e9da29b6a4a78ebce22b1","datavalue":{"value":"03G10","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2743637$C72152FD-D897-4E2B-A0A0-82ECF4AFC5B8","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"fd9735f992ad269e34c131bd8fc8994fa2607954","datavalue":{"value":"1652327","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2743637$1C9456DE-7ED7-4673-B4FE-DB829C2357CD","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"abec281b5f1d997842b0ce9e98282ccd39bc96d3","datavalue":{"value":"algebraic semantics","type":"string"},"datatype":"string"},"type":"statement","id":"Q2743637$CBFA6814-8906-48DD-B724-12EC876E4BEA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"553d9c09ad3dfb85f09d1cfd0b0f7e34a53fcdf8","datavalue":{"value":"lattice representation","type":"string"},"datatype":"string"},"type":"statement","id":"Q2743637$EF74B40E-1709-42B8-8D78-3559DCAF0E35","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"6f8c1a6a94dc6f409a1001bf601947c25349ecbd","datavalue":{"value":"Kripke semantics","type":"string"},"datatype":"string"},"type":"statement","id":"Q2743637$78F0365E-3CB4-43B1-B091-0208986D0530","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"b031600c0cfd6d2e764bf64f26528742a574af41","datavalue":{"value":"structurally free logics","type":"string"},"datatype":"string"},"type":"statement","id":"Q2743637$50E38A71-67F5-4726-A063-7BDD6DA9FCB3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"23328227337a3cafe924ff36301e08c88820342a","datavalue":{"value":"combinators","type":"string"},"datatype":"string"},"type":"statement","id":"Q2743637$DE6CCE3E-7469-4BC0-B51A-7515C8CF07BA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"9fc3ddfcf0cce9a0945e8e4f5d945bab5e010be9","datavalue":{"value":"non-distributive logics","type":"string"},"datatype":"string"},"type":"statement","id":"Q2743637$02B86F48-7E55-424F-87A7-B25C4BBD210C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"31d2faeb57b57f360251067fd610e199173399d9","datavalue":{"value":"relational semantics","type":"string"},"datatype":"string"},"type":"statement","id":"Q2743637$C3688F7C-9568-47BE-8882-D6406F935C6C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"f2f44098441a2f009d67a1780175ec6d6736d55a","datavalue":{"value":"filter-ideal pairs","type":"string"},"datatype":"string"},"type":"statement","id":"Q2743637$E9990819-8508-4B86-B3FC-90423092E630","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"eefeb271699d764ac7879d2f84c332465e6c5f8a","datavalue":{"value":"positive substructural logics","type":"string"},"datatype":"string"},"type":"statement","id":"Q2743637$2D02E91B-118D-4330-B9FC-D17CB04B0D7D","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":"Q2743637$ECE385FE-2972-4CB2-8AA4-EA810A84E75F","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"86fbd503945407525db783ccd57c8a2029394e2b","datavalue":{"value":"https://doi.org/10.1093/jigpal/9.4.525","type":"string"},"datatype":"url"},"type":"statement","id":"Q2743637$28D6B564-D229-49DA-8864-D5348DF9BE5F","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"90824d05b814080308fa6be6eca25e316f7d59d0","datavalue":{"value":"W2168035307","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2743637$A70C69BA-C05F-49F3-9BF0-656B0F54B4BA","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"ea2698d2d27c66b96e5f3eaa5e3624253cca68b7","datavalue":{"value":"10.1093/JIGPAL/9.4.525","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2743637$31615626-58A8-4777-A297-A72EECC2E534","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"2322a21df36f02b2b9c16a6174c764d5fc949009","datavalue":{"value":{"entity-type":"item","numeric-id":3061274,"id":"Q3061274"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2743637$2E6711B2-A91D-4A60-80CC-FC7FE711D3ED","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"b8dcf1ba9ae6582f4ecd694628ceb562f6388668","datavalue":{"value":"The author addresses a problem emerging from joint work with \\textit{J. M. Dunn} on structurally free logics [Log. J. IGPL 6, No. 3, 403-424 (1998; Zbl 0904.03006)]. In structurally free logics, combinators as formulas are used instead of structural sequent rules. Extensions LC+ of the basic structurally free logics LC are considered with additive conjunction and disjunction not distributing over each other. Such non-distributive logics naturally arise in sequent calculus formulations. The main contribution of the paper is a sound and complete set-theoretical, relational semantics for these logics. The canonical model construction uses minimally overlapping filter-ideal pairs. The semantics for LC+ also gives rise to a relational semantics for positive substructural logics with structural rules in place of combinators.","type":"string"},"datatype":"string"},"type":"statement","id":"Q2743637$4F254A87-417D-4718-BB70-159D956E7B75","rank":"normal"}],"P1447":[{"mainsnak":{"snaktype":"value","property":"P1447","hash":"4ac137399d9f2a1340fb827cf9bcada44aa811f7","datavalue":{"value":{"entity-type":"item","numeric-id":496328,"id":"Q496328"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2743637$49A0DC87-2ABF-4FBC-A28E-64AC2432EE4D","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"6f0b6ba2bf2112774fff2f92126e35c32fa573d8","datavalue":{"value":{"entity-type":"item","numeric-id":4392658,"id":"Q4392658"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"575f7bacb4638964fdcca152a7d7c7a08d94ac02","datavalue":{"value":{"amount":"+0.860154926776886","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":"Q2743637$4612D7D6-74E5-4EFD-B9E8-F20394DDB5B9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"07f972edfb2865cbddbae9321765c471484b359b","datavalue":{"value":{"entity-type":"item","numeric-id":4026931,"id":"Q4026931"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"575f7bacb4638964fdcca152a7d7c7a08d94ac02","datavalue":{"value":{"amount":"+0.860154926776886","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":"Q2743637$D0085BC4-35BB-45F2-BB57-E43DB88AC566","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"33ee3101169c659ad2070a1ca789edbfb86d4773","datavalue":{"value":{"entity-type":"item","numeric-id":4353718,"id":"Q4353718"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"7a7566e0f52ade8d162ae25063fb89b8136db29d","datavalue":{"value":{"amount":"+0.8210813999176025","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":"Q2743637$D761DD52-3BD7-4647-891D-075DC3239A73","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"930efb2740a28f6fd14c8e0f71afd074a4549066","datavalue":{"value":{"entity-type":"item","numeric-id":1826366,"id":"Q1826366"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"7a7566e0f52ade8d162ae25063fb89b8136db29d","datavalue":{"value":{"amount":"+0.8210813999176025","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":"Q2743637$B26E7CF9-7BD5-40E8-AEF7-BECDF04CC676","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"1bf50e02f69cc92ca4515d09baa026e7ef50cb21","datavalue":{"value":{"entity-type":"item","numeric-id":2642518,"id":"Q2642518"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"6448404d3b62035b2c5e5113513e895340b89b4e","datavalue":{"value":{"amount":"+0.7959020137786865","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":"Q2743637$C3927504-A640-4796-9984-C01193D2C7AC","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:2743637","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:2743637"}}}}}