{"entities":{"Q6165006":{"pageid":13299887,"ns":120,"title":"Item:Q6165006","lastrevid":102628253,"modified":"2026-06-06T04:57:40Z","type":"item","id":"Q6165006","labels":{"en":{"language":"en","value":"Deduction theorem in congruential modal logics"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 7720261"}},"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":"Q6165006$2B3D7FA8-49BA-45EF-9797-61BEFD3E3C0A","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"100a517d76d0ddfd846e91c6ee7c1b9ead8ddc77","datavalue":{"value":{"text":"Deduction theorem in congruential modal logics","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q6165006$0C4C01BA-9C52-4754-B5D8-2D02CEFCE735","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"27dde6fd98cd0b9434ed3fc996730d2c2f7c88af","datavalue":{"value":"10.1215/00294527-10670082","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6165006$32D633C4-FBD4-4E6B-8D88-5BD9C04FBE37","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"9811ee512bdebb4a321de77ef475b6a7c67dade7","datavalue":{"value":{"entity-type":"item","numeric-id":6042999,"id":"Q6042999"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6165006$60FAEE06-433E-4E11-A922-BFB596F81D90","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":"Q6165006$8668C57C-E5E6-482E-87F7-C08490348962","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"0c9357104a5534685ffa2f9bcbb37e5590217e6f","datavalue":{"value":{"time":"+2023-07-28T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q6165006$B1645444-08A3-423B-9CAD-2C8CD99B882B","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"0acbaed30ce675e1eaed80980a70e0ad234b4bf2","datavalue":{"value":"Congruential modal logics are those satisfying the rule \\(p \\leftrightarrow q/\\Box p \\leftrightarrow\\Box q\\). A well-known interpretation for congruential modal logics is the so-called \\textit{neighborhood semantics} or \\textit{Scott-Montague semantics}.  A consequence relation \\(\\vdash\\) is said to have a local deduction detachment theorem when for any \\(\\Sigma\\cup\\{\\phi,\\psi\\}\\) there is a finite set of formulas \\(L(p,q)\\) such that \\( \\Sigma\\cup \\{\\phi\\}\\vdash\\psi\\) if and only if \\( \\Sigma\\vdash L(\\phi,\\psi)\\).  This work presents an algebraic proof of the theorem stating that there are continuum many axiomatic extensions of global consequence associated with the basic congruential modal system \\(E\\) that do not admit the local deduction detachment theorem. It also proves that all these logics lack the finite frame property and have exactly three proper axiomatic extensions, each of which admits the local deduction detachment theorem.","type":"string"},"datatype":"string"},"type":"statement","id":"Q6165006$59557890-6740-4CB7-B52C-FA53E20A9BFF","rank":"normal"}],"P1447":[{"mainsnak":{"snaktype":"value","property":"P1447","hash":"0a128e7399472fef481caef8975c8e6e58b83c8b","datavalue":{"value":{"entity-type":"item","numeric-id":987488,"id":"Q987488"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6165006$7B3A85F6-A55E-4A96-9929-543D4FC746AC","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"74a6cec96241e450625296e63e8dd539239d7104","datavalue":{"value":"03B45","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6165006$0D61C76C-495C-48D2-80CE-0C9D626A39E5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"67d83a420633c5e61caca50109886be8d1d7a17a","datavalue":{"value":"03G25","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6165006$A7661943-15C0-4AE3-8ADF-269CA797BE72","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"475a2407c03078b469bb32ab23376730eacf71d9","datavalue":{"value":"03G27","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6165006$E5C03A73-5B9A-4768-933C-658FE4E31623","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"e8927f86f6ff6e9cf90f16b09a5c8b927adaae82","datavalue":{"value":"7720261","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6165006$4A9818FD-64A9-4D62-818F-DF3B8B857DB1","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"f1dda010537b7b36bd45151721146f720815706e","datavalue":{"value":"modal logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q6165006$33FEFDD1-5B6E-43DC-88FE-2C97A17F8AAC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"1ec8122d81b68a76e10d0f9c82cf3588b2573486","datavalue":{"value":"local deduction theorem","type":"string"},"datatype":"string"},"type":"statement","id":"Q6165006$B00A2EB6-9059-4F35-A1F2-6163B0CCA324","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"578d22b4943d233d02ade801f210524a90ddfdff","datavalue":{"value":"modal algebra","type":"string"},"datatype":"string"},"type":"statement","id":"Q6165006$0C2AE40F-58E8-445E-8265-C85ECB161B55","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"29305963469a565eb92060782443e37174cc9778","datavalue":{"value":"abstract algebra","type":"string"},"datatype":"string"},"type":"statement","id":"Q6165006$F48B75AB-EC4A-4631-BC60-8831D60BEECF","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":"Q6165006$B19E678A-A987-4FE1-B6C9-D1816258B072","rank":"normal"}],"P12":[{"mainsnak":{"snaktype":"value","property":"P12","hash":"6c6dd7a535fbcef75e6537ad6cecfbb3ae57595b","datavalue":{"value":"Q122617263","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6165006$059595F2-5EC4-4F11-B194-67FC6110F583","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"44d05aa7c842dc5326c7d2bb8aed349836c05cf6","datavalue":{"value":"https://doi.org/10.1215/00294527-10670082","type":"string"},"datatype":"url"},"type":"statement","id":"Q6165006$92757FDD-0368-4517-AF13-A4DA06073AAD","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"95a496007ddeba3264312a3a94e15353966d22b8","datavalue":{"value":"W4382405530","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6165006$12A25B3B-ADE0-4788-98F7-A7F1DBF83265","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"cb3d2f911ecb3b5590d70035c532dcb4003778fb","datavalue":{"value":{"entity-type":"item","numeric-id":3875896,"id":"Q3875896"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6165006$863383C9-F535-430D-86D2-024A938B402F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"365e43523f9f6b45dc2577202697ff91a6659a61","datavalue":{"value":{"entity-type":"item","numeric-id":3815297,"id":"Q3815297"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6165006$DB1480DB-5F33-4287-B205-17452CA26FA5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"6939b7c6b5e1e43a2947e6d05e58171b2f424c55","datavalue":{"value":{"entity-type":"item","numeric-id":3934450,"id":"Q3934450"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6165006$5374F859-C56A-4B6D-B4CD-080D8C721E47","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"54c645beb3272487658a6618eb4dd46a34c2f80e","datavalue":{"value":{"entity-type":"item","numeric-id":1090668,"id":"Q1090668"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6165006$12FF843C-856C-4C04-A140-A1B8A8D7CAFB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"cabc196162aa5129a29002b49eb14619d4ddf836","datavalue":{"value":{"entity-type":"item","numeric-id":1189891,"id":"Q1189891"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6165006$4D8F52A8-EF9C-4C77-8CAF-A25C8A0953F0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"1d68ad29ba122045e1f740985dc1a0e7a58f3c54","datavalue":{"value":{"entity-type":"item","numeric-id":1918964,"id":"Q1918964"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6165006$934FD970-BCBD-43F6-8403-25F69A36A475","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"92eefa6e5d17dab887e26ae7808223dcb123fee9","datavalue":{"value":{"entity-type":"item","numeric-id":4636040,"id":"Q4636040"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6165006$074BBCCB-650C-4C61-89A4-3193A2BC14A6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"9998c80bf90fc3b26af1dea418fe315f0cf810bd","datavalue":{"value":{"entity-type":"item","numeric-id":5963201,"id":"Q5963201"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6165006$ECB8930A-0E0B-4E4F-BB95-D507C9B1A0A5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"dd5fdc5604c99a9049b19ca9b158f4277fcf7ecb","datavalue":{"value":{"entity-type":"item","numeric-id":5554384,"id":"Q5554384"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6165006$F4CE67CC-3306-4740-B528-C4FAA18575F9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"5c13a5c1e58588cc9d99de2b3b83911fc3cc73d5","datavalue":{"value":{"entity-type":"item","numeric-id":1140672,"id":"Q1140672"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6165006$C625E6E4-56E8-4A3B-9B32-D46E9C0ABF67","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"8aec57d75528a635f65ff30a5174de37fe15f656","datavalue":{"value":{"entity-type":"item","numeric-id":4438108,"id":"Q4438108"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6165006$87A31534-23E4-4C1A-A4D3-EB62551FD454","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c2175710971e93f48aced0d36264d93f4d020cee","datavalue":{"value":{"entity-type":"item","numeric-id":2538520,"id":"Q2538520"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6165006$13E91FF7-5B71-4ECE-AB01-73FB679DFB54","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"ea48de2cf085cdbea8275c2e5f0d92dba6ce4365","datavalue":{"value":{"entity-type":"item","numeric-id":3216636,"id":"Q3216636"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"1c170648099d2b5a8f835d17289862cdfb2b9f76","datavalue":{"value":{"amount":"+0.7858428359031677","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":"Q6165006$880C3C1F-4696-4A67-98F6-B1D5A82FC6F6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"e16a6599bd466718b5cf313cd391c1ec72e63198","datavalue":{"value":{"entity-type":"item","numeric-id":1090668,"id":"Q1090668"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"4bbda34a67c003c10d52d02b965d32c33dc37f91","datavalue":{"value":{"amount":"+0.7769399881362915","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":"Q6165006$76603809-015D-4D17-B49D-2170F0CD623A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"b40a2eca6ad41d23d50353bc5540f433ad9f7238","datavalue":{"value":{"entity-type":"item","numeric-id":4011710,"id":"Q4011710"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"003c46793875bd9e29392adaea41f40690c566d9","datavalue":{"value":{"amount":"+0.7578886151313782","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":"Q6165006$EFE41978-3FD0-4ACC-B3A2-D727C670D86B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"a21aba76d6e914f9b4d82b35d7986a449330ae05","datavalue":{"value":{"entity-type":"item","numeric-id":647412,"id":"Q647412"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"ae6ac12fca1c14725dc26f4ad3df1fa4f3fbd9f7","datavalue":{"value":{"amount":"+0.7577847838401794","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":"Q6165006$B447D937-0DB5-44CC-AA74-E06B02020A25","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"87ca354510420e6f645d8a78b267b2635feb2ffd","datavalue":{"value":{"entity-type":"item","numeric-id":5813908,"id":"Q5813908"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"5d409934efc88714b73dce09419f1c4c7954cb18","datavalue":{"value":{"amount":"+0.7364255785942078","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":"Q6165006$F2E5EC22-1FCF-444D-9704-3DE1B57F9474","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Deduction theorem in congruential modal logics","badges":[]}}}}}