Subprevarieties versus extensions. Application to the logic of paradox

DOI10.2307/2586567zbMath0960.03056OpenAlexW2050732956MaRDI QIDQ4508259

Alexej P. Pynko

Publication date: 14 January 2001

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

Full work available at URL: https://doi.org/10.2307/2586567

zbMATH Keywords

propositional logicparaconsistent logicprevarietyextensions of the logic of paradoxGalois retractionprevarieties of Kleene latticesrelative axiomatizationrelevance-mingle logic

Mathematics Subject Classification ID

Algebraic logic (03G99) Classical propositional logic (03B05) Many-valued logic (03B50) Substructural logics (including relevance, entailment, linear logic, Lambek calculus, BCK and BCI logics) (03B47) De Morgan algebras, ?ukasiewicz algebras (lattice-theoretic aspects) (06D30) Abstract deductive systems (03B22) Paraconsistent logics (03B53) Galois correspondences, closure operators (in relation to ordered sets) (06A15)

Related Items (5)

THE LATTICE OF SUPER-BELNAP LOGICS ⋮ An algebraic view of super-Belnap logics ⋮ Cut elimination, identity elimination, and interpolation in super-Belnap logics ⋮ On the three-valued expansions of Kleene's logic ⋮ Four-valued expansions of Dunn-Belnap's logic (I): Basic characterizations

Cites Work

• Unnamed Item
• Definitional equivalence and algebraizability of generalized logical systems
• Algebraic study of Sette's maximal paraconsistent logic
• Functional Completeness and Axiomatizability within Belnap's Four-Valued Logic and its Expansions
• Characterizing Belnap's Logic via De Morgan's Laws
• On Priest's logic of paradox
• Algebraic completeness results for R-mingle and its extensions

This page was built for publication: Subprevarieties versus extensions. Application to the logic of paradox