{"entities":{"Q1422450":{"pageid":1433190,"ns":120,"title":"Item:Q1422450","lastrevid":68665875,"modified":"2026-04-13T01:17:51Z","type":"item","id":"Q1422450","labels":{"en":{"language":"en","value":"Algebraic semantics for deductive systems"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 2042712"}},"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":"Q1422450$BA20A58D-0EE5-43E7-A5A3-5EF820DB2306","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"6fcf96db36bc885c0f756a67bbe2944c58c74b49","datavalue":{"value":{"text":"Algebraic semantics for deductive systems","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q1422450$EFFA9927-9D83-49DA-BA8F-A87A0654FCCC","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"be0c86219c9fe8d9054017349456568d0a87b2a5","datavalue":{"value":"1049.03008","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1422450$30084D8E-7209-45FE-A3A7-534E81669C46","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"e7588263c6b11b19791ef01171f1b92b8d406a17","datavalue":{"value":"10.1023/A:1024626023417","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1422450$73E731FF-D5CE-4D0F-B54A-D09739B2B7B0","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"e34236ca73b92c6ee0bc17431d03c3537a7f0792","datavalue":{"value":{"entity-type":"item","numeric-id":195358,"id":"Q195358"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1422450$BAF08AFC-A054-4F58-BD9B-81E138CB4ADB","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"09443cfab6fd5785ecda7e07fe946f107bfd3fa8","datavalue":{"value":{"time":"+2004-02-15T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q1422450$DDF14AA5-AFD0-448D-8F1F-B8331BCE6517","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"cb22810c72336c2253aef9f17218c9f78dab3985","datavalue":{"value":"The notion of an algebraic semantics (a.s.) was introduced, and the study of it was initiated, by \\textit{W. J. Block} and \\textit{D. Pigozzi} [Algebraizable logics. Mem. Am. Math. Soc. 396 (1989; Zbl 0664.03042)]. It was shown there that a deductive system may have many different algebraic semantics, while a so-called equivalent a.s., if a deductive system has it at all, is essentially unique. A deductive system possessing an equivalent a.s. was said to be algebraizable. While the main subject of the monograph cited above was algebraizable systems and their equivalent semantics, the paper under review deals with the property of possessing an arbitrary a.s., which is much harder to capture.  The paper begins with a detailed overview of some basic facts concerning the general concepts of a deductive system, an equational consequence relation, and an algebraic semantics. It is shown that any extension of a deductive system possessing an a.s. also has this property. Some necessary conditions for a deductive system to have an a.s. are established; using these, an example of a non-trivial protoalgebraic deductive system that has no a.s. is provided. The main theorem of the paper gives some sufficient condition for the existence of an a.s. It is used to demonstrate that various particular classes of deductive systems, even non-algebraizable, admit an a.s.","type":"string"},"datatype":"string"},"type":"statement","id":"Q1422450$6C985062-C5F4-440C-A391-5C8B3FD6A53E","rank":"normal"}],"P1447":[{"mainsnak":{"snaktype":"value","property":"P1447","hash":"24e70c767ee0c26b0d348d13cd32cb7416cc7b76","datavalue":{"value":{"entity-type":"item","numeric-id":466879,"id":"Q466879"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1422450$C7624919-6B79-4B9A-9D7F-9042381ACDBA","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"25dae832a7b5192741ddf2b14ab8d2cca2e6e6a4","datavalue":{"value":"03B22","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1422450$2F7433F6-08CA-4DBB-A5ED-8C3A0481C8D2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"b363e494c684597e57f0cc15c7c0d8f9f3bcf9fc","datavalue":{"value":"03B47","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1422450$5110A972-6DB8-4059-A5DA-1D8AE316A568","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"67d83a420633c5e61caca50109886be8d1d7a17a","datavalue":{"value":"03G25","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1422450$4F37975C-C0F0-4B37-8AEA-9ED940D4D2EB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"ba40962b9b1c6cc590e99c35b83dff6377a190fb","datavalue":{"value":"08C15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1422450$3DEEEB69-90E3-4EF6-92D8-DC1B5DC2D0DE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"db2c34644f223015abe9c203f88e343dcc46a9ae","datavalue":{"value":"08A60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1422450$CAF2817B-C469-4D2E-9FBB-A6A40D73A26A","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"6975f7c674a95a2560ade4bf5a0ec1ef14a3dfda","datavalue":{"value":"2042712","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1422450$048CFC37-2CEC-4ED6-A734-22D8DA6D6706","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"b0d152e6a9af6c905fdfdb33f1c35fcddd9b7faa","datavalue":{"value":"deductive system","type":"string"},"datatype":"string"},"type":"statement","id":"Q1422450$3DD7D55C-505B-48D1-BA32-76F8C58D976B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"2c392bedebe85b5c345d7e053fa6c5629191acd5","datavalue":{"value":"equational consequence","type":"string"},"datatype":"string"},"type":"statement","id":"Q1422450$B4A06ECD-E7AC-4FB1-9539-F9BF045B53CB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"2ebeb23c62c94fea27126b416e04594b40c537ac","datavalue":{"value":"matrix semantics","type":"string"},"datatype":"string"},"type":"statement","id":"Q1422450$FDFCDEB0-2FFB-44D6-94AE-141E874FCD4B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"abec281b5f1d997842b0ce9e98282ccd39bc96d3","datavalue":{"value":"algebraic semantics","type":"string"},"datatype":"string"},"type":"statement","id":"Q1422450$92AC752E-BF68-4D23-B7A7-E43136E692A0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"2ad4efed7bd7fcc03254ec6f5c376ca702be7652","datavalue":{"value":"protoalgebraic logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q1422450$78BF4254-A759-4FC7-9885-80F383F11624","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"e865688e12b20c3156ee7f8650bf688855127e10","datavalue":{"value":"mono-unary algebra","type":"string"},"datatype":"string"},"type":"statement","id":"Q1422450$7C272CC3-DBF1-467F-85E0-58E1A7501D78","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"f1dda010537b7b36bd45151721146f720815706e","datavalue":{"value":"modal logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q1422450$8B9FF048-0863-4FF5-A482-5A7B690F24BD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"d450f4b3083fe34d24db452ee74b92106c27a96e","datavalue":{"value":"intuitionistic logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q1422450$3369AD51-B0FB-4365-A02B-F766979E0DB7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"7f688d80cd10dc9c0b004843c0674655ad59b2fb","datavalue":{"value":"linear logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q1422450$30C6501E-D35A-48A8-A940-6488CE59245A","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"89f8ecc515e149246aa369f00abc13f14a0a0a2b","datavalue":{"value":{"entity-type":"item","numeric-id":1355601,"id":"Q1355601"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1422450$A9E08BC9-2AE5-4403-A41A-48FE420D831E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"bcce233b166e058167480b7b1c165291f5f8481f","datavalue":{"value":{"entity-type":"item","numeric-id":1576378,"id":"Q1576378"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1422450$471221B7-702B-4EC3-93C9-2D158554976E","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":"Q1422450$974E643B-8404-4D25-884E-24D53071EA98","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"c961863a73f7cd8d1881efde8afe04aef5ac9dab","datavalue":{"value":"https://doi.org/10.1023/a:1024626023417","type":"string"},"datatype":"url"},"type":"statement","id":"Q1422450$77496444-9C85-4D08-AB84-63A16A8CC38C","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"682f4de0aa5b799aedbcdd0f6cd42ef54d14a104","datavalue":{"value":"W1573560425","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1422450$E3652285-DEA6-40BB-91E9-517B06F1E09D","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"49758ae7f0c24f36fed850c61c492dbbf6196fb8","datavalue":{"value":{"entity-type":"item","numeric-id":3815297,"id":"Q3815297"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"c43a9f397b7e61f7af2338888599a8000966de06","datavalue":{"value":{"amount":"+0.8234258","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q1422450$88EB365B-17FA-4BA1-A98F-BD6D0013DC75","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"acd83d5b4172ea45d0bb997a25b78a8bb15cdbaa","datavalue":{"value":{"entity-type":"item","numeric-id":4273420,"id":"Q4273420"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"c778f85f7e9b2cd786a14a09591dc4b48875c00e","datavalue":{"value":{"amount":"+0.8108746","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q1422450$855B145B-67C5-466F-922E-AA43B8B9D11C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"93c25ac4f9c8ad3472af6d1913c106d96df8b375","datavalue":{"value":{"entity-type":"item","numeric-id":3332227,"id":"Q3332227"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"bf2fa1c18f86cc315b1f601e41fbd98d8e14d269","datavalue":{"value":{"amount":"+0.78849465","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q1422450$07AA8D18-C881-4B11-A159-140A178D92E6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"32c21701935567666a8e4fc5394a06e8a5e2eff5","datavalue":{"value":{"entity-type":"item","numeric-id":2812986,"id":"Q2812986"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"9efc1e9751edefb922687ff8f8b9cca3d0b3c5e7","datavalue":{"value":{"amount":"+0.7804078","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q1422450$5539F504-84FA-4789-8A56-4E5BFADAE7FE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"98f0bc40f7d321ad81ef0d3e34cf686ef8a7f63f","datavalue":{"value":{"entity-type":"item","numeric-id":4250358,"id":"Q4250358"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"2241ece3729b0e2ed39301e028e6aba82b7aede4","datavalue":{"value":{"amount":"+0.76914614","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q1422450$42D6FE45-2262-4B86-8604-295F63679816","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"e46f82478ec99712a3efb868650b3f6a8d0f37b9","datavalue":{"value":{"entity-type":"item","numeric-id":4250069,"id":"Q4250069"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"e82d4039cb4c33530dcaed156fea5e232931946a","datavalue":{"value":{"amount":"+0.7670196","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q1422450$D6AD3F8E-718B-4EFE-A82E-945636522CB0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"42df91fe04cc83a79a4bc8667b0cec86ab2346fe","datavalue":{"value":{"entity-type":"item","numeric-id":4727402,"id":"Q4727402"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"2e20fcfc889e6eacf0d95c63f7e5aaaedcf54a46","datavalue":{"value":{"amount":"+0.76325965","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q1422450$008FCDB8-21DE-4234-80D9-147E189A79FB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"4e0ec220e38fe70418992a4b44222012c3c4868a","datavalue":{"value":{"entity-type":"item","numeric-id":2862757,"id":"Q2862757"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"5ce630c197edf7017f6c1afa44afc0312549386c","datavalue":{"value":{"amount":"+0.7537949","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q1422450$3FA85562-F504-4B95-9033-EF3B26057AFF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"9dc8b683891cd82220c1c1fc821ccd4de0011a6b","datavalue":{"value":{"entity-type":"item","numeric-id":1302288,"id":"Q1302288"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"a65a0c915713a830a8d67823c0fb26578491d9ac","datavalue":{"value":{"amount":"+0.75189114","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q1422450$4E075A3B-0159-4CAF-8BFF-DDE58011F5D5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"ca0da9de11bae7d7bdac1ad825fe5a4e11f4b1ea","datavalue":{"value":{"entity-type":"item","numeric-id":3684068,"id":"Q3684068"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"3e69e8c3f8f1c84cb04740bd62bd64017eb65df8","datavalue":{"value":{"amount":"+0.75120366","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q1422450$9ECD61CF-9753-45FA-9390-98296478F86F","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Algebraic semantics for deductive systems","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Algebraic_semantics_for_deductive_systems"}}}}}