{"entities":{"Q2893316":{"pageid":2904041,"ns":120,"title":"Item:Q2893316","lastrevid":51494756,"modified":"2026-01-18T12:23:39Z","type":"item","id":"Q2893316","labels":{"en":{"language":"en","value":"Intuitionistic implication without disjunction"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6048161"}},"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":"Q2893316$980B5B9D-1B4D-49CD-AFC6-7716B261A086","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"ec8c613df936023055511ede2361efefd9a7e82d","datavalue":{"value":{"text":"Intuitionistic implication without disjunction","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q2893316$978FD9DB-119F-42F1-96C8-3C8451C29A0B","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"1f8cc3412dd7635ae2fd7847ea5f96af806e9fca","datavalue":{"value":"1258.03014","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2893316$7C57F0ED-2C50-47E1-A66E-1EA314951CC9","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"27a40f3e393f328cd4730fcb61457b79095ca391","datavalue":{"value":{"entity-type":"item","numeric-id":753808,"id":"Q753808"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2893316$C00791D3-0971-459B-B5A1-F7BE4E75A4AF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"34e7ca43173d8ab7229716e83b9fad7b2b5c67c5","datavalue":{"value":{"entity-type":"item","numeric-id":1181712,"id":"Q1181712"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2893316$97D7F192-FBD2-4D28-AAA4-AE55D1FC7E7B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"586738407866f1237ad6aae333605b7639ea6eb3","datavalue":{"value":{"entity-type":"item","numeric-id":1099163,"id":"Q1099163"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2893316$477C66B8-EB4A-4531-862E-94A3E0FBEB0E","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"f318557c66fd6d7ed4e56cf07066ee7032aec4a0","datavalue":{"value":{"time":"+2012-06-20T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q2893316$5F698BAD-0D6E-47FD-8B91-270AFF628AEB","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"c27c90e7c9c010867fc520104be8888205988527","datavalue":{"value":"https://pure.rug.nl/ws/files/2409375/2012JLogComputRenardeldeL.pdf","type":"string"},"datatype":"url"},"type":"statement","id":"Q2893316$56FF0B82-7051-4818-9E29-DCA17CAA2274","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"2337f934f367559a8ee0c48540aa4d52d0fa385a","datavalue":{"value":"03B20","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2893316$B8E20D0F-F8DA-48D2-AA47-F75E9D5186CC","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"6762929e2a187db0824cfa0b2f77951cd26dbdba","datavalue":{"value":"6048161","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2893316$BC36CF60-4887-43A1-AE29-001CEB8F422B","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"a85ad9cba736549502c048ffe4cb97a21971e3e8","datavalue":{"value":"intuitioinistic logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q2893316$DD69EAD8-C3C4-4D90-8BE5-8B2984EAA85F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"19ffe387100c9d49a3e2011c6542d8e65fcc50bd","datavalue":{"value":"implication","type":"string"},"datatype":"string"},"type":"statement","id":"Q2893316$3C558224-92F1-4552-A2AC-C3D2CE8A8341","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"58a0c383a387b1f7bf6a0f5a1f896244b5448863","datavalue":{"value":"disjunction","type":"string"},"datatype":"string"},"type":"statement","id":"Q2893316$BD409497-32C3-4963-94A8-F9269454BBA9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"c18f4bb79bf5aaa540d22d2ac58cfb2ef94e0591","datavalue":{"value":"finite fragment","type":"string"},"datatype":"string"},"type":"statement","id":"Q2893316$EE75FE64-16D2-4912-BA50-2AE92BB68241","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"110bcdd8de8ca80fde5c719420741df8e5264b73","datavalue":{"value":"exact model","type":"string"},"datatype":"string"},"type":"statement","id":"Q2893316$FB75A78A-801A-4D4C-9E0A-FE2D57816B17","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"78dbfbe6003fef446f28c95572cd39b6093fff00","datavalue":{"value":"Hilbert algebra","type":"string"},"datatype":"string"},"type":"statement","id":"Q2893316$4F2B0F37-9847-4254-94D2-098344144552","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"9c00d6dcb60c088c02c55d288e2e5cc8a31774b1","datavalue":{"value":"universal model","type":"string"},"datatype":"string"},"type":"statement","id":"Q2893316$A20B2366-5DDF-4CB9-A423-163F7CDCC447","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":"Q2893316$5CBF74BC-4752-4023-B568-4917E3B2891B","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"ac98f59a9ea05cdc3ccbc3e0308fb1c6569a93cf","datavalue":{"value":"W2134877291","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2893316$F443CE4B-CA69-463B-82DD-CFB2C8540E14","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"224c7d1260ebcc8d5d636d08fdbbbdb669ed5454","datavalue":{"value":"10.1093/LOGCOM/EXQ058","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2893316$6556AF48-E0E4-4A23-BB71-84A89E6669B1","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"4e284497c1d95ed03031b32369f55bf404c9e002","datavalue":{"value":{"entity-type":"item","numeric-id":6768690,"id":"Q6768690"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2893316$646B3D36-FB31-464A-B4FE-9B7587945819","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"06df626e18b451d5c40df7e998a275aae8ddc5de","datavalue":{"value":"The authors consider a unified approach to investigate fragments of intuitionistic propositional logic \\(\\mathsf{IpL}\\) without disjunction but with implication. In particular, they give a new proof of the well-known fact that, for any \\(n\\), each of these fragments has only finitely many nonequivalent formulas with the variables \\(p_1,\\ldots,p_n\\). A fragment \\(F=[P,\\circ_1,\\ldots,\\circ_n]\\) is given by a set of atoms \\(P\\) and connectives \\(\\circ_1,\\ldots,\\circ_n\\) (\\(\\neg\\neg\\) being considered as a connective). The diagram \\(F_\\equiv\\) of a fragment \\(F\\) is the set of the equivalence classes of formulas partially ordered by the derivability relation. A model \\(M=\\langle W,\\leq,\\models\\rangle\\) is universal for \\(F\\) if \\(\\forall w\\,(w\\models\\varphi\\Leftrightarrow w\\models\\psi)\\) means the same as \\(\\varphi\\equiv\\psi\\). A construction of the universal model \\(\\mathsf{UM}\\) for \\(\\mathsf{IpL}\\) is proposed. The worlds in this model are so-called semantical types, which are defined inductively as objects of the form \\(\\langle P,X\\rangle\\), where \\(P\\) is a collection of propositional variables and \\(X\\) is a finite collection of types. The model \\(\\mathsf{UM}\\) is locally finite in the sense that the set of worlds above \\(w\\) is finite for any \\(w\\). A model \\(M\\) is an exact (a quasi-exact) model for \\(F\\) if \\(F_\\equiv\\) is isomorphic to (a subset of) the collection of upward closed subsets of \\(W\\). For any finite \\(P\\), an exact model \\(\\mathsf{EM}_\\neg(P)\\) for \\([P,\\neg,\\land,\\to]\\), an exact model \\(\\mathsf{EM}(P)\\) for \\([P,\\land,\\to]\\) and a quasi-exact model \\(\\mathsf{QEM}(P)\\) for \\([P,\\neg\\neg,\\land,\\to]\\) are constructed. All three are finite submodels of \\(\\mathsf{UM}\\). These models are used to characterize the fragments under consideration. For a model \\(M\\), let \\({\\mathcal P}^a(M)\\) denote the collection of antichains in \\(W\\) ordered by the relation \\(A\\preceq B\\leftrightharpoons B\\subseteq A\\downarrow\\), where \\(A\\downarrow\\) is the downward closure of \\(A\\). It is proved that \\([P,\\neg,\\land,\\to]_\\equiv\\) is isomorphic to \\({\\mathcal P}^a(\\mathsf{EM}_\\neg(P))\\), \\([P,\\land,\\to]_\\equiv\\) is isomorphic to \\({\\mathcal P}^a(\\mathsf{EM}(P))\\), and \\([P,\\neg\\neg,\\land,\\to]_\\equiv\\) is isomorphic to \\({\\mathcal P}^a(\\mathsf{QEM}(P)\\setminus\\{\\langle P,\\emptyset\\rangle\\})\\). A similar characterization of the fragments without \\(\\land\\) and \\(\\lor\\) is obtained too. Formulas for the size of the (quasi-)exact models and the diagrams of the fragments are proposed and their asymptotic behaviour is studied. Namely, the size of diagrams grows superexponentially with the number of variables.","type":"string"},"datatype":"string"},"type":"statement","id":"Q2893316$7E5EB90D-112F-478A-9B0F-C8E9332D0D3F","rank":"normal"}],"P1447":[{"mainsnak":{"snaktype":"value","property":"P1447","hash":"b1f73afd33192153e94113807fdc62b87cbaa1ee","datavalue":{"value":{"entity-type":"item","numeric-id":234728,"id":"Q234728"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2893316$F883FEDA-387B-482C-BA8A-3EA1E988152D","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"15fee8d5149c3e570b4d0485b9243da977901181","datavalue":{"value":{"entity-type":"item","numeric-id":4209298,"id":"Q4209298"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"0572e7ecf711ac5ec7de9e81dd7a1d9d5a44d77e","datavalue":{"value":{"amount":"+0.797431468963623","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":"Q2893316$3D86F9DE-9F26-4FDB-AEE9-AC6681D20698","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"6d63586cbec6a2dc4a917b3c0ae0b568d724bc7a","datavalue":{"value":{"entity-type":"item","numeric-id":3486539,"id":"Q3486539"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"de3dd9017d5a61b7d3e6ae02ebccf1a197d2ccc8","datavalue":{"value":{"amount":"+0.791318416595459","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":"Q2893316$8DF3D9B7-F350-43BB-80F9-A6803D314BB4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"2ede143a1bdb9804aba2199aefaf1d44cc77ae4a","datavalue":{"value":{"entity-type":"item","numeric-id":4304150,"id":"Q4304150"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"66bf975f699ac2c897f23e7d0581bdb639636263","datavalue":{"value":{"amount":"+0.7857831120491028","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":"Q2893316$A71126B4-7D3F-4A03-87E6-204BD265F0CC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"1ef938da9dfba3b5484628d38cc97b810578fa0b","datavalue":{"value":{"entity-type":"item","numeric-id":3643316,"id":"Q3643316"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"e7f542a9a9ab2a654d15ecff515301b13aa105b0","datavalue":{"value":{"amount":"+0.7854336500167847","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":"Q2893316$1CF9C155-F237-4BF9-86E9-16FA9DE2F328","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"7b15f4fe52969708915a840416b91e058676297d","datavalue":{"value":{"entity-type":"item","numeric-id":1181713,"id":"Q1181713"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"9a38f8c3626abf79b8d2fc41a096b25153189910","datavalue":{"value":{"amount":"+0.7756194472312927","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":"Q2893316$44F0396B-777D-491A-B76F-8EAD7F3A04D9","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:2893316","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:2893316"}}}}}