COMPATIBILITY OPERATORS IN ABSTRACT ALGEBRAIC LOGIC

DOI10.1017/jsl.2015.39zbMath1402.03101OpenAlexW2467699372MaRDI QIDQ3188323

Ramon Jansana, Hugo Albuquerque, Josep Maria Font

Publication date: 19 August 2016

Published in: The Journal of Symbolic Logic (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1017/jsl.2015.39

zbMATH Keywords

algebraic logicLeibniz operatorprotoalgebraic logiccoherent familySuszko operatortruth-equational logiccompatibility operatorTarski operator

Mathematics Subject Classification ID

Abstract algebraic logic (03G27)

Related Items

The strong version of a sentential logic, Assertional logics, truth-equational logics, and the hierarchies of abstract algebraic logic, Categorical Abstract Algebraic Logic: Compatibility Operators and Correspondence Theorems, An algebraic view of super-Belnap logics, The Suszko operator relative to truth‐equational logics

Cites Work

• Unnamed Item
• Unnamed Item
• Leibniz-linked pairs of deductive systems
• On the infinite-valued Łukasiewicz logic that preserves degrees of truth
• Characterizing equivalential and algebraizable logics by the Leibniz operator
• Trends in logic. 50 years of Studia Logica
• A survey of abstract algebraic logic
• The Suszko operator. I
• Positive modal logic
• On the closure properties of the class of full G-models of a deductive system
• Logics Preserving Degrees of Truth from Varieties of Residuated Lattices
• Protoalgebraic logics
• Leibniz filters and the strong version of a protoalgebraic logic