{"entities":{"Q2888156":{"pageid":2898881,"ns":120,"title":"Item:Q2888156","lastrevid":51477197,"modified":"2026-01-18T10:46:09Z","type":"item","id":"Q2888156","labels":{"en":{"language":"en","value":"On semilattice-based logics with an algebraizable assertional companion"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6039653"}},"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":"Q2888156$EEEA59DA-C132-4B65-A580-805125E71F91","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"c805019f8aa7c1229320be54784359de22403b00","datavalue":{"value":"1266.03073","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2888156$3D00EC17-F296-4CD4-839A-CC73597A69BA","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"4fc8dcbf968ebff5e32c9bfc9430cbef55065afb","datavalue":{"value":{"entity-type":"item","numeric-id":218967,"id":"Q218967"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2888156$C8ED0375-8744-43D8-85DA-97B696B40AFB","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"9cf2f505c732bca65c95db37822678ba6da7d9b6","datavalue":{"value":{"time":"+2012-05-30T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q2888156$E8E99C3E-1427-4C1C-AF21-F2ADC18AE721","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"475a2407c03078b469bb32ab23376730eacf71d9","datavalue":{"value":"03G27","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2888156$AFA3787A-618F-4819-8AAD-541A51D5EBD3","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"6c93bd860afed0aea697b53aa8d3e2248502e83f","datavalue":{"value":"6039653","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2888156$C3E8D6B9-650F-43BB-AC83-1E2DDED9FD22","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"8a943690596033038130257789009b4acb5c3a1f","datavalue":{"value":"semilattice-based logics","type":"string"},"datatype":"string"},"type":"statement","id":"Q2888156$4807AE38-5E8B-454B-B46C-D14B97C655E4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"2594bfcf688635bc6de3b9de318d14268ef81d6d","datavalue":{"value":"assertional companion","type":"string"},"datatype":"string"},"type":"statement","id":"Q2888156$2D5D667E-FB7B-4CBC-A041-C577D54BB7E9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"8e94240da13b47e1a0f58db9fab56d5d70d5ae5f","datavalue":{"value":"Leibniz filter","type":"string"},"datatype":"string"},"type":"statement","id":"Q2888156$D5D4687E-F0C2-493E-ABFD-1AAF47297AE3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"054500799b79f77109cb42de9891e67701606fc7","datavalue":{"value":"algebraizable logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q2888156$E74BBAC5-3E4E-4C3F-A3FB-0C489AE313F2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"eed6be924b32c5ce81a354cf2a59c3a1900324a8","datavalue":{"value":"abstract algebraic logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q2888156$D522FA8C-5655-4E62-A7B5-872F0F74FC5C","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":"Q2888156$698C2B9E-B1DD-4E73-8236-3F528B7E3E8B","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"aa7de978cac1725c257e9ee3665b8b8cff0e32f0","datavalue":{"value":{"text":"On semilattice-based logics with an algebraizable assertional companion","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q2888156$B2E94E0D-2FA9-4B2B-9C9F-C9D490B0D0D5","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"7a0d78bb1ba0b96c6ee7b4ed752efc00bcce9c9a","datavalue":{"value":{"entity-type":"item","numeric-id":4609352,"id":"Q4609352"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2888156$EEBDC9C4-2C78-4B1B-8585-A35059091787","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"f9a1b11d2144ab9b86eeb34daca1cccd3bd6b417","datavalue":{"value":"The paper studies semilattice-based logics from an abstract algebraic logic point of view. A logic is ''semilattice-based'' if it is the logic associated to the semilattice order of a variety of algebras having a semilattice reduct. If the semilattice order has a top element 1, then another logic can be naturally associated to the above-mentioned variety of algebras, namely, the logic whose set of designated elements is exactly {1}. This is called the ``assertional companion'' of the semilattice-based logic. Examples of such pairs can be found, e.g., in modal logic (local and global consequence relations) and in many-valued logic.NEWLINENEWLINESemilattice-based logics are, by definition, self-extensional. The paper shows that, under the additional assumption that the assertional companion is algebraizable, some nice properties follow. In a certain sense, the semilattice-based logic behaves as if it were protoalgebraic, although it need not be so. Another interesting result is that the two above-mentioned properties (being, respectively, self-extensional and algebraizable) are exactly the ones that separate the two logics, in the sense that, if the semilattice-based logic is algebraizable or the assertional companion is self-extensional, then the two logics coincide (Theorem 15).","type":"string"},"datatype":"string"},"type":"statement","id":"Q2888156$0A1EAAAA-E2A7-4207-9E4E-F42DB9A3BDB6","rank":"normal"}],"P1447":[{"mainsnak":{"snaktype":"value","property":"P1447","hash":"8faddbd7c92a24c554c948b39fdc00dbc01b8ade","datavalue":{"value":{"entity-type":"item","numeric-id":368471,"id":"Q368471"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2888156$E5144E54-9DDA-4677-A5E2-07E0E65FB151","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"1e2282f0532d3c3c5f41306b0c1b950df38a9e30","datavalue":{"value":{"entity-type":"item","numeric-id":1938393,"id":"Q1938393"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"98060355e531635a9e77240e5e2f39ad80733fbd","datavalue":{"value":{"amount":"+0.8187271952629089","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":"Q2888156$8D58CBC2-7A90-4008-A3D8-B211805D399A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"202b2a3aa9296adcb526da6f0e8234c8667a5127","datavalue":{"value":{"entity-type":"item","numeric-id":4644494,"id":"Q4644494"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"76aba834cad4ba7260b91857f7c69262d66ebc5b","datavalue":{"value":{"amount":"+0.7808700203895569","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":"Q2888156$B9778611-A5E8-45C9-88E4-3F42B1381EC5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"9dce988d8fecadde0896a2ba6689b04b3a1ab9eb","datavalue":{"value":{"entity-type":"item","numeric-id":4450439,"id":"Q4450439"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"a47b8104342fca36f5fc907771956bfb1613b512","datavalue":{"value":{"amount":"+0.7516079545021057","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":"Q2888156$ED46D7E9-8C4D-4BAB-AE7C-4ED2D75361BF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"2eba1c4c93f61a4220b27c28cd9fbb84f40c330f","datavalue":{"value":{"entity-type":"item","numeric-id":865045,"id":"Q865045"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"607b65e860468896412e6831c6a5324fa4f92261","datavalue":{"value":{"amount":"+0.7484126687049866","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":"Q2888156$0E19FA5B-1C94-4905-BABA-15D18F68348B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"e8c0a141dedfddc56b734f3996f4aacfbab631f9","datavalue":{"value":{"entity-type":"item","numeric-id":4419270,"id":"Q4419270"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"4c0452143086f50985a4905c296c69acc68ee213","datavalue":{"value":{"amount":"+0.735374391078949","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":"Q2888156$8022EEC5-C0DE-4DB7-BE98-E2231C8CB795","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:2888156","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:2888156"}}}}}