An algebraic investigation of the connexive logic \(\mathsf{C}\)

DOI10.1007/s11225-023-10057-2OpenAlexW4381487049MaRDI QIDQ6127184

Sergei P. Odintsov, Davide Fazio

Publication date: 10 April 2024

Published in: Studia Logica (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1007/s11225-023-10057-2

zbMATH Keywords

algebraic semanticsNelson's logicconnexive logicconnexive modal logictwist-products

Mathematics Subject Classification ID

Mathematical logic and foundations (03-XX)

Cites Work

• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• The class of extensions of Nelson's paraconsistent logic
• Constructive negations and paraconsistency
• The logic of conditional negation
• An algebraic approach to non-classical logics
• Notes on \(\eta\)-lattices and constructive logic with strong negation
• Semantics for connexive logics. I
• On extensions of intermediate logics by strong negation
• On the representation of \(\mathbf{N4}\)-lattices
• Connexive Conditional Logic. Part I
• Constructible falsity and inexact predicates
• Algebraizable logics
• From Paraconsistent Logic to Dialetheic Logic
• A semantical study of constructible falsity
• Constructible falsity

This page was built for publication: An algebraic investigation of the connexive logic \(\mathsf{C}\)