COMPATIBILITY OPERATORS IN ABSTRACT ALGEBRAIC LOGIC
From MaRDI portal
Publication:3188323
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
algebraic logicLeibniz operatorprotoalgebraic logiccoherent familySuszko operatortruth-equational logiccompatibility operatorTarski operator
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