Compatibility operators in abstract algebraic logic

DOI10.1017/JSL.2015.39MaRDI QIDQ3188323zbMATH OpenOpenAlexFDO

Authors Hugo Albuquerque, Josep Maria Font, Ramon Jansana

Publication date 19 August 2016

Published in 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)

Recommendations

• Categorical Abstract Algebraic Logic: Compatibility Operators and Correspondence Theorems
• The Suszko operator. I
• Categorical abstract algebraic logic: The categorical Suszko operator
• Characterizing equivalential and algebraizable logics by the Leibniz operator
• Algebraizable logics

Cites work

• scientific article; zbMATH DE number 1747706 (Why is no real title available?)
• scientific article; zbMATH DE number 1748069 (Why is no real title available?)
• A survey of abstract algebraic logic
• Characterizing equivalential and algebraizable logics by the Leibniz operator
• Leibniz filters and the strong version of a protoalgebraic logic
• Leibniz-linked pairs of deductive systems
• Logics preserving degrees of truth from varieties of residuated lattices
• On the closure properties of the class of full G-models of a deductive system
• On the infinite-valued Łukasiewicz logic that preserves degrees of truth
• Positive modal logic
• Protoalgebraic logics
• The Suszko operator. I
• Trends in logic. 50 years of Studia Logica

Cited in

(8)

• Categorical Abstract Algebraic Logic: Compatibility Operators and Correspondence Theorems
• An algebraic view of super-Belnap logics
• Assertional logics, truth-equational logics, and the hierarchies of abstract algebraic logic
• Categorical abstract algebraic logic: operators on classes of structures systems
• scientific article; zbMATH DE number 851066 (Why is no real title available?)
• The strong version of a sentential logic
• The Suszko operator relative to truth‐equational logics
• scientific article; zbMATH DE number 1960346 (Why is no real title available?)

This page was built for publication: Compatibility operators in abstract algebraic logic

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