{"entities":{"Q1068809":{"pageid":1079561,"ns":120,"title":"Item:Q1068809","lastrevid":66076788,"modified":"2026-04-12T07:22:52Z","type":"item","id":"Q1068809","labels":{"en":{"language":"en","value":"Admissible rules for logics containing S4.3"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 3930970"}},"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":"Q1068809$40D7C97D-AB32-45E9-85E1-CF45ABD43C8D","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"49c1425f2ba55bd6ae11a847a5cbac954e878ab5","datavalue":{"value":{"text":"Admissible rules for logics containing S4.3","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q1068809$321D9D54-0C60-47B7-A6C1-57C221C731F5","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"83c01a4a8c4c8c0867acfde8f7cfd62e6b061ccd","datavalue":{"value":"0582.03009","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1068809$CDD43B40-2982-44A7-AAEC-FD34093FE907","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"0b94ea0d4fb80098f91068397bf0a6689db0052e","datavalue":{"value":"10.1007/BF00968695","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1068809$44A7785F-FE8F-431D-AF87-1B6695ECC36C","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"61db58adbdfd69e4efef1201cb3d1298d7fdae94","datavalue":{"value":{"entity-type":"item","numeric-id":178377,"id":"Q178377"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1068809$F5549B41-A287-4AFA-AA3C-6CB7C353FE8C","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"2ee0f220147ae8bc749a64db56839865dbc4f127","datavalue":{"value":{"time":"+1984-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":"Q1068809$6AD36A73-8F02-4470-8F8E-FC7356EA1AA3","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"df8fa43004643b80956c4353db2f92e8ea5bdb88","datavalue":{"value":"The aim of this article is the investigation of rules of inference in logics containing S4.3 modal propositional logic. We use an algebraic approach to admissibility: the rule A/B is admissible in logic \\(\\lambda\\) iff the quasi-identity \\(A=1\\Rightarrow B=1\\) is true on the free algebra \\(F_{\\omega}(\\lambda)\\) of denumerable rank from the variety of modal algebras corresponding to \\(\\lambda\\).    Theorem 5. The free algebra \\(F_{\\omega}(\\lambda)\\) has a finite basis of quasi-identities which is constructed by adding \\(\\diamond x\\wedge \\diamond \\neg x=1\\Rightarrow y=1\\) to basis identities of \\(F_{\\omega}(\\lambda)\\) when \\(\\lambda\\) \\(\\supseteq S4.3.\\)    From this theorem we obtain that there exists an algorithm for recognizing admissibility rules in a modal logic \\(\\lambda\\) by its axiom set when \\(\\lambda\\) \\(\\supseteq S4.3.\\)    Proposition 7. Let f/g be an admissible but not derivable rule in a logic \\(\\lambda\\) \\(\\supseteq S4.3\\). Then for every \\(t_ i:\\) \\(f(t_ i)\\not\\in \\lambda\\). That is, each admissible, non derivable rule in \\(\\lambda\\) \\(\\supseteq S4.3\\) has no antecedent feasible in \\(\\lambda\\).    Proposition 8. For all \\(\\lambda\\) \\(\\supseteq S4.3\\), the logic \\(\\lambda\\) with additional rule of inference \\(\\diamond x\\wedge \\diamond \\neg x/y\\) is structurally complete.    In particular, when \\(\\lambda =S5\\), these propositions give an affirmative solution to the questions of \\textit{J. Porte} [J. Philos. Logic 10, 409-422 (1981; Zbl 0475.03005)].","type":"string"},"datatype":"string"},"type":"statement","id":"Q1068809$B467B81E-40BB-47BE-9B88-504666EB4DD0","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"74a6cec96241e450625296e63e8dd539239d7104","datavalue":{"value":"03B45","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1068809$A708E336-F967-4EBA-AB1C-16D9BD3746C6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"67d83a420633c5e61caca50109886be8d1d7a17a","datavalue":{"value":"03G25","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1068809$1641A9AD-B029-4DAE-9F1B-E970279F8608","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"3cde184a37067d761adecd2f8c6be38c58d517d6","datavalue":{"value":"3930970","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1068809$2278C3D5-EEB2-47B0-B0FA-733B3353A544","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"358462202abdaf615b501181bc7caad711a809cc","datavalue":{"value":"rules of inference","type":"string"},"datatype":"string"},"type":"statement","id":"Q1068809$97EFB3E5-DF96-452B-9A2C-79C772666ACE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"fef7a5b9572f7afc0df7af17df0fb3cae3340eab","datavalue":{"value":"free algebra","type":"string"},"datatype":"string"},"type":"statement","id":"Q1068809$840AD8BB-DA8A-4715-B805-5912683C01DF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"2b034c901af5098a1eae8c43baf02d66e68d0e9c","datavalue":{"value":"variety of modal algebras","type":"string"},"datatype":"string"},"type":"statement","id":"Q1068809$6D968701-68C4-48C6-9C68-01239BC6AFD4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"f1dda010537b7b36bd45151721146f720815706e","datavalue":{"value":"modal logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q1068809$C253434D-27CB-4939-96AD-C8CA2231B077","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"69b31587c96a5c5ccf3b12532333e2056e86a541","datavalue":{"value":"S5","type":"string"},"datatype":"string"},"type":"statement","id":"Q1068809$1F4E86AC-E72A-409A-ABE0-A8B3ADF4BF96","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"96cc32b5114aed13d4cd109fe7265b4e5c590084","datavalue":{"value":{"entity-type":"item","numeric-id":1669761,"id":"Q1669761"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1068809$CFDA606E-3C80-4FA9-B1F0-9F0651C6A121","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":"Q1068809$32368CEF-69B0-462C-AD01-D0FDB1600724","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"086aee6eb1193c41f82d06f3f36ff262aca90e09","datavalue":{"value":{"entity-type":"item","numeric-id":1159660,"id":"Q1159660"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1068809$1CA2CAFC-C312-41A4-B7FF-8192F7C48C1C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"33ed7790b73ca0627f9aea6069a6e8916b8f045a","datavalue":{"value":{"entity-type":"item","numeric-id":3950540,"id":"Q3950540"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1068809$09219228-B386-4854-AC56-C9A4C87ADB29","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"9b78f04a769bf9d49ac8bd1c0ab56559bb3ccfe8","datavalue":{"value":{"entity-type":"item","numeric-id":5635425,"id":"Q5635425"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1068809$423185C2-CB0E-46E2-9DE1-76B9D97ACFF9","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"f5ba45e05d80c13ce58cacc4eaddf4f235c894d8","datavalue":{"value":"https://doi.org/10.1007/bf00968695","type":"string"},"datatype":"url"},"type":"statement","id":"Q1068809$7B8631C0-2941-470E-B696-C259CF9722E0","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"816fb59111b79e7422def5fc944d7b6d8628971a","datavalue":{"value":"W2030606453","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1068809$93679419-5306-4256-B729-997D0CB38F35","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"69a0a699f84b7cbe5fa81d82a08f54cc222cd288","datavalue":{"value":{"entity-type":"item","numeric-id":1064315,"id":"Q1064315"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"fe597ab42f3c2c727a9b226dd9bc0ddf3225f1e4","datavalue":{"value":{"amount":"+0.8514772057533264","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":"Q1068809$77C22173-F030-4B3C-8BEA-3D622D51FFAD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"a8ebc03e482d5f1b98817c56429a3448862d84bb","datavalue":{"value":{"entity-type":"item","numeric-id":3727965,"id":"Q3727965"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"5c7f6124588e3fa4b0ab2ed525228b0e6549f15e","datavalue":{"value":{"amount":"+0.8512057662010193","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":"Q1068809$850B59D7-9857-4018-938D-2DADAFB7902E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"9938aea63beadaee8d43673745b5abff62807429","datavalue":{"value":{"entity-type":"item","numeric-id":1309039,"id":"Q1309039"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"6c17fb87a176ac328e903cb3edc43e44db382626","datavalue":{"value":{"amount":"+0.8337934017181396","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":"Q1068809$80077CE7-5ABF-4F0B-9A15-C5C234EF325D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"fe79e9fc4d4c24197a362f8a14a15f8e6b2f9ca1","datavalue":{"value":{"entity-type":"item","numeric-id":5696300,"id":"Q5696300"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"6c17fb87a176ac328e903cb3edc43e44db382626","datavalue":{"value":{"amount":"+0.8337934017181396","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":"Q1068809$98DA2A0F-979E-48A0-92C3-8DE1878B37DE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"3e8f07adb79d287443d839a696210660b41f5b4f","datavalue":{"value":{"entity-type":"item","numeric-id":3032232,"id":"Q3032232"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"12e588d72f879f0aa7cbb2cf3671fddac59cda08","datavalue":{"value":{"amount":"+0.8290071487426758","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":"Q1068809$6017E22B-3958-407F-8448-BA6F2271C5C3","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Admissible rules for logics containing S4.3","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Admissible_rules_for_logics_containing_S4.3"}}}}}