Selfextensional logics with a distributive nearlattice term

DOI10.1007/S00153-018-0628-1MaRDI QIDQ1712939zbMATH OpenOpenAlexWikidataFDO

Authors Luciano J. González

Publication date 24 January 2019

Published in Archive for Mathematical Logic (Search for Journal in Brave)

Full work available at URL https://arxiv.org/abs/1704.05925

zbMATH Keywords

abstract algebraic logicdistributive nearlatticelogics based on partial ordersselfextensional logic

Mathematics Subject Classification ID

Abstract deductive systems (03B22) Other algebras related to logic (03G25) Abstract algebraic logic (03G27) Semilattices (06A12)

Abstract: We define when a ternary term $m$ of an algebraic language $mathcalL$ is called a extit{distributive nearlattice term} (DN-term) of a sentential logic $mathcalS$. Distributive nearlattices are ternary algebras generalising Tarski algebras and distributive lattices. We characterise the selfextensional logics with a DN-term through the interpretation of the DN-term in the algebras of the algebraic counterpart of the logics. We prove that the canonical class of algebras (under the point of view of Abstract Algebraic Logic) associated with a selfextensional logic with a DN-term is a variety, and we obtain that the logic is in fact fully selfextensional.

Recommendations

• On the logic of distributive nearlattices
• The normal and self-extensional extension of Dunn-Belnap logic
• The logic of distributive nearlattices
• Selfextensional logics with a conjunction
• scientific article; zbMATH DE number 3924845

Cites work

• A decomposition of homomorphic images of nearlattices
• A survey of abstract algebraic logic
• Abstract algebraic logic. An introductory textbook
• Algebraic aspects of deduction theorems
• Algebraizable logics
• Algebraizable logics with a strong conjunction and their semi-lattice based companions
• An algebraic approach to non-classical logics
• An example of a congruence distributive variety having no near-unanimity term
• Fregean logics
• scientific article; zbMATH DE number 440121 (Why is no real title available?)
• scientific article; zbMATH DE number 3150809 (Why is no real title available?)
• scientific article; zbMATH DE number 2042610 (Why is no real title available?)
• scientific article; zbMATH DE number 945663 (Why is no real title available?)
• scientific article; zbMATH DE number 2196609 (Why is no real title available?)
• scientific article; zbMATH DE number 3245491 (Why is no real title available?)
• scientific article; zbMATH DE number 3271476 (Why is no real title available?)
• Ideals in Partially Ordered Sets
• Independent axiom systems for nearlattices
• Join algebras
• Leibniz filters and the strong version of a protoalgebraic logic
• Logics preserving degrees of truth
• Logics preserving degrees of truth from varieties of residuated lattices
• Logics with disjunction and proof by cases
• Nearlattices
• On homomorphic images and the free distributive lattice extension of a distributive nearlattice
• On semilattice-based logics with an algebraizable assertional companion
• On the infinite-valued Łukasiewicz logic that preserves degrees of truth
• Protoalgebraic logics
• Residuated lattices. An algebraic glimpse at substructural logics
• Selfextensional logics with a conjunction
• Semilattice structures.
• Stone style duality for distributive nearlattices
• Taking degrees of truth seriously
• The free distributive semilattice extension of a distributive poset
• The logic of distributive nearlattices
• The proof by cases property and its variants in structural consequence relations
• The Suszko operator. I
• Weakly distributive semilattices

Cited in

(11)

• The logic of distributive nearlattices
• Finite distributive nearlattices
• Finite distributive semilattices
• The normal and self-extensional extension of Dunn-Belnap logic
• Remarks on normal distributive nearlattices
• Quasi-modal operators on distributive nearlattices
• scientific article; zbMATH DE number 2196609 (Why is no real title available?)
• Logics for extended distributive contact lattices
• On the logic of distributive nearlattices
• Monadic quasi-modal distributive nearlattices
• Characterizations of near-Heyting algebras

This page was built for publication: Selfextensional logics with a distributive nearlattice term

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q1712939)