{"entities":{"Q1344874":{"pageid":1355613,"ns":120,"title":"Item:Q1344874","lastrevid":47304085,"modified":"2026-01-01T07:15:07Z","type":"item","id":"Q1344874","labels":{"en":{"language":"en","value":"Algebraic study of Sette's maximal paraconsistent logic"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 724131"}},"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":"Q1344874$A83AFA1F-3E9C-4464-8EA5-F97C7BCD504C","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"6035ae08e72a4e77a7e06916a0c459484ab95932","datavalue":{"value":{"text":"Algebraic study of Sette's maximal paraconsistent logic","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q1344874$52B37998-C01A-40F3-9EB6-752F58517196","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"aa399ed83a0f4c9f6c39ecc41358dcaf97f19ea0","datavalue":{"value":"0817.03004","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1344874$331BD00B-1E5E-48BE-8332-697517C9A560","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"f0f6ded790e2d4570a0d36d3d16d737789d11226","datavalue":{"value":"10.1007/BF01058534","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1344874$11500470-41D1-4509-AFF8-3F427ECD19A9","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"cf46b424f34bc75ff7efa1123c3981a48794242a","datavalue":{"value":{"entity-type":"item","numeric-id":189427,"id":"Q189427"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1344874$1C15919D-F4F7-42F2-8969-0FC18D9622BB","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":"Q1344874$807C7C11-E129-466A-AF8B-571B75874F1A","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"b8682f10035297e22489d3e495aa858e74b275e9","datavalue":{"value":{"time":"+1995-02-22T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q1344874$C1C180B4-BD27-407E-A37B-E1F02D099CDD","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"170e1a510bd54b893c4841fb11d9dea6bc17ed8c","datavalue":{"value":"The paper presents a lot of algebraic results concerning abstract Sette logics, but first of all the paraconsistent deductive system \\(\\text{P}^ 1\\).   Section 2 specifies the algebraic notations used throughout the paper and presents a condensed introduction to Algebraic Logic.   In Section 3 the concept of an abstract Sette logic together with its basic properties is introduced: abstract Sette logics are analogues of the deductive system \\(\\text{P}^ 1\\) in the same way as the abstract classical logics are analogues of the classical deductive system PC. Further results concern the relationship between PC, the variety of all Boolean algebras and the class of all abstract classical logics.   The author hopes that such a manner of using abstract logic in studying algebraizable deductive systems opens a gateway between the logistic and the model-theoretic traditions in Algebraic Logic.   Section 4 studies algebraic semantics for \\(\\text{P}^ 1\\). It turns out that although \\(\\text{P}^ 1\\) fails to be algebraically characterized within such general approaches as Czelakowski's and Rasiowa's, it is algebraizable in the sense of Blok and Pigozzi.   Section 5 deals with a finitely axiomatized variety of quasi-Sette algebras. Its filters are studied in Section 7.   In Section 6 it is shown by algebraic means only that the system PC is the only proper nontrivial extension of \\(\\text{P}^ 1\\).   Section 8 provides an algebraic characterization of abstract Sette logics and discusses the question of the maximality of paraconsistency of \\(\\text{P}^ 1\\).   Finally, Section 9 obtains completeness results for the deductive systems PC and \\(\\text{P}^ 1\\).","type":"string"},"datatype":"string"},"type":"statement","id":"Q1344874$45B16185-050D-43D2-8842-C2FBA5AEDAF4","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"25dae832a7b5192741ddf2b14ab8d2cca2e6e6a4","datavalue":{"value":"03B22","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1344874$8492A697-F997-4F96-8922-92D7C21635B6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"da16cc6c6eb08bf82419ecf96189672d0591bc99","datavalue":{"value":"03B53","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1344874$AF6342F3-30B2-48A8-B5A1-A1B638B8D993","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"67d83a420633c5e61caca50109886be8d1d7a17a","datavalue":{"value":"03G25","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1344874$D8CDC089-907A-4695-B7C5-C5C796AC0BD5","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"0963b01f34b3bda71d202143eacb87a3770c606b","datavalue":{"value":"724131","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1344874$BD13B504-60DD-40A2-9E3C-6E207903029A","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"7be9a655184972a526e19ea5f6dba84ef5b8112e","datavalue":{"value":"Sette algebras","type":"string"},"datatype":"string"},"type":"statement","id":"Q1344874$E1A42E08-C78E-46B8-B884-23B3662F713A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"86456f5a91bd87e92badb73ab04572fb117a054c","datavalue":{"value":"paraconsistent deductive system","type":"string"},"datatype":"string"},"type":"statement","id":"Q1344874$633C5431-BEE7-4129-B056-643E9D7C7BC5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"fd01a6dd2a92c389235429ae92193637683ef559","datavalue":{"value":"abstract Sette logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q1344874$7D62892A-E826-42B8-B3C0-D39664B24B78","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"2a4156d46397f6174e2f7c0fd09fa485e1a6a33b","datavalue":{"value":"abstract logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q1344874$3426E10B-71BC-4E5B-8990-8F73FBF35C29","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"532d03e0174c87fb5bb2c8302b01f040866d4f2c","datavalue":{"value":"algebraizable deductive systems","type":"string"},"datatype":"string"},"type":"statement","id":"Q1344874$668D54A9-71A6-4604-AB8B-68C2AB57CBF2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"abec281b5f1d997842b0ce9e98282ccd39bc96d3","datavalue":{"value":"algebraic semantics","type":"string"},"datatype":"string"},"type":"statement","id":"Q1344874$39578AD8-89D9-4247-802E-9F85FE0E52B1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"2fde32cd68a42e4449475681b170c87e0976d509","datavalue":{"value":"filters","type":"string"},"datatype":"string"},"type":"statement","id":"Q1344874$1771AE06-ECBA-4D60-9CAB-3C67D85F3809","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"cf50e81767295ee9013bf102588a950860da455a","datavalue":{"value":"paraconsistency","type":"string"},"datatype":"string"},"type":"statement","id":"Q1344874$7EDAE4AF-5087-42A5-A9C7-3DC2621C96C5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"f6816fdf79dd11ac09d9af4886c02baab03d2cf9","datavalue":{"value":"completeness","type":"string"},"datatype":"string"},"type":"statement","id":"Q1344874$12156EF8-F2F6-4CF7-ADC3-FCCBB453ACCA","rank":"normal"}],"P1447":[{"mainsnak":{"snaktype":"value","property":"P1447","hash":"50f26af6018e0e17dd62bb96a7b7b7241e4da546","datavalue":{"value":{"entity-type":"item","numeric-id":1891932,"id":"Q1891932"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1344874$2669784D-580B-4FB8-8534-553649F2C797","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":"Q1344874$5D7DC8C9-CAAC-444A-81ED-F5AC82E00265","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"0ce7f9daf77414d5b3281bc19bc9898930f05899","datavalue":{"value":{"entity-type":"item","numeric-id":3861360,"id":"Q3861360"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1344874$0C6774FA-476D-4A3B-AA77-5A9B45862E1F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"6ce47aaa57ed062610df59dbf8e315e80f656a8e","datavalue":{"value":{"entity-type":"item","numeric-id":4083730,"id":"Q4083730"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1344874$75E3E247-6C03-48CC-98A7-1F807BC43219","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"2a7f95a181a122f35ae18fd86fcaee76950d7cde","datavalue":{"value":{"entity-type":"item","numeric-id":5532570,"id":"Q5532570"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1344874$D3C39BC6-31E0-4D27-8199-DC183D4BF8E4","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":"Q1344874$432B5E9B-0EF6-4FF7-8BAE-C6F2EE379CD0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"51b925f06524b51a36e22f15bda5c2d8f22715a7","datavalue":{"value":{"entity-type":"item","numeric-id":4078023,"id":"Q4078023"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1344874$03ADC8EA-8110-49BC-B00C-02ECA01ED173","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"85e76dbdde1f6c0140c066a99f1add9b458d496b","datavalue":{"value":{"entity-type":"item","numeric-id":1159628,"id":"Q1159628"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1344874$2114013E-1B19-4A1F-B890-A27101E279B6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"9a9a623e15ff9e54bb042d69535ff85ecca1383d","datavalue":{"value":{"entity-type":"item","numeric-id":1087867,"id":"Q1087867"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1344874$D3CC7A82-9756-44E6-B47A-B3DC0ACCB0DB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"2576b1504cd378a36e7553a0e2b6c9fd41588533","datavalue":{"value":{"entity-type":"item","numeric-id":3474637,"id":"Q3474637"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1344874$D68C1F5B-CCAA-46D2-B881-F6ECAAFE4C74","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"7bf4c82bf25c4c1621344f8fda5249cb1dfa1420","datavalue":{"value":{"entity-type":"item","numeric-id":4205420,"id":"Q4205420"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1344874$B185F4AA-B9DD-4F8A-B688-93D3E5891461","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"8303d88cb8d1551549743d06f5ed6a371e2c04c4","datavalue":{"value":{"entity-type":"item","numeric-id":1189892,"id":"Q1189892"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1344874$6C7A4EC5-7AE8-42A6-B543-8F8551CF0FDF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"9383ef5a024c016cc874ba295fee238102f5a93c","datavalue":{"value":{"entity-type":"item","numeric-id":5582302,"id":"Q5582302"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1344874$29F01915-6BC7-4657-981D-D8E73FE11620","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"fae58cabc6210877500b69d67f8a52d2647519a6","datavalue":{"value":{"entity-type":"item","numeric-id":3268305,"id":"Q3268305"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1344874$940606DF-A3BF-4C16-B828-689C9A68DF41","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"610c4ce18d93717aed8fea0917044e5effb66f85","datavalue":{"value":{"entity-type":"item","numeric-id":3962956,"id":"Q3962956"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1344874$013A1DDA-1853-498B-9738-958A3391E5FA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"dc1b7500b65222305d4f7d7c34fa0c121d01374d","datavalue":{"value":{"entity-type":"item","numeric-id":5169620,"id":"Q5169620"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1344874$CE2C8876-6DD6-474B-A5EE-824C165D7448","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a54b9e308c7141029e5e3f531ea2cf0f5ed21631","datavalue":{"value":{"entity-type":"item","numeric-id":1214924,"id":"Q1214924"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1344874$BACDA7C7-4C77-4A1C-91E8-C7EDA9FC1C5A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"98782dca1b1c9d3479c56bc90f4cd51924e8bc96","datavalue":{"value":{"entity-type":"item","numeric-id":5734410,"id":"Q5734410"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1344874$AAE5CB56-D491-4BA4-935A-383EF11EF885","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"29e3798b4aefb4cba32ca4b4e29c4f3e7b48eb56","datavalue":{"value":{"entity-type":"item","numeric-id":5513757,"id":"Q5513757"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1344874$3492C8D6-C46F-43DB-AA56-D028D50FB3FC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"308073133a440bc56451dfd8bd89c90c2af65f65","datavalue":{"value":{"entity-type":"item","numeric-id":1229698,"id":"Q1229698"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1344874$D57F979B-F520-48DF-82F4-63BF17E3FF85","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"e0304cbfd3507ab4365b6b0fa4b2a8d33ca9abe0","datavalue":{"value":{"entity-type":"item","numeric-id":1317897,"id":"Q1317897"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"c3dcaa7e472519884501fddbdb6e5fc4e38b7eab","datavalue":{"value":{"amount":"+0.8374224305152893","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":"Q1344874$EC27308E-57FB-4C1A-9544-9A8D0931593D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"c4cb7d6fefa3524efcda868b69ff9a0c6f0c983a","datavalue":{"value":{"entity-type":"item","numeric-id":5387328,"id":"Q5387328"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"d62c8c133ecf610179ffe37f675eb148c13cbecd","datavalue":{"value":{"amount":"+0.8358035087585449","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":"Q1344874$C07D1977-551E-4617-B2A2-E814699471C3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"d61520f6ee560181119082d42a382f47106370c9","datavalue":{"value":{"entity-type":"item","numeric-id":5202993,"id":"Q5202993"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"eaee623e322e1b6844c3aeecbcdb534966449cbe","datavalue":{"value":{"amount":"+0.8062371015548706","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":"Q1344874$1E3B5DC7-4A7A-4705-8962-B96C1B3FFE42","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"78a716a01757ca4e822a4d65427f442b8f97abae","datavalue":{"value":{"entity-type":"item","numeric-id":5028299,"id":"Q5028299"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"6c5e79610d14426ec22d8bf71e015a6a29863985","datavalue":{"value":{"amount":"+0.766103982925415","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":"Q1344874$4662FDAD-9643-4D28-9192-982F3D36841E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"31bb2bdee7208352f7c6635c9dcf9502154e692e","datavalue":{"value":{"entity-type":"item","numeric-id":1068074,"id":"Q1068074"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"7f8b81c117d0463ac77ffb5b682dbb1e7b3e24e2","datavalue":{"value":{"amount":"+0.7642329335212708","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":"Q1344874$E5033F57-FBC0-4D7D-AAB7-C50E769FD8FD","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:1344874","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:1344874"}}}}}