Boolean Connexive Logics: Semantics and tableau approach

DOI10.12775/LLP.2019.003zbMath1458.03024MaRDI QIDQ3387888

Jacek Malinowski, Tomasz Jarmużek

Publication date: 8 January 2021

Published in: Logic and Logical Philosophy (Search for Journal in Brave)

zbMATH Keywords

relatednessconnexive logicBoolean connexive logicsrelating semanticstableau approach

Mathematics Subject Classification ID

Other nonclassical logic (03B60) Classical propositional logic (03B05)

Related Items (17)

Relating Logic and Relating Semantics. History, Philosophical Applications and Some of Technical Problems ⋮ History of Relating Logic. The Origin and Research Directions ⋮ Relating Semantics for Epistemic Logic ⋮ Incorporating the Relation into the Language? ⋮ An analysis of poly-connexivity ⋮ Tableaux for logics of content relationship and set-assignment semantics ⋮ Connexive logic, connexivity, and connexivism: remarks on terminology ⋮ Intuitionistic logic is a connexive logic ⋮ Angell and McCall meet Wansing ⋮ Boolean connexive logic and content relationship ⋮ Situation-based connexive logic ⋮ Connexive negation ⋮ A modal loosely guarded fragment of second-order propositional modal logic ⋮ Tableaux for some deontic logics with the explicit permission operator ⋮ A Logic for Dually Hemimorphic Semi-Heyting Algebras and its Axiomatic Extensions ⋮ Modal Boolean Connexive Logics: Semantics and Tableau Approach ⋮ Axiomatization of some basic and modal Boolean connexive logics

Cites Work

• Logic: a history of its central concepts
• Analytic implication
• Logics of nonsense and Parry systems
• Unnamed Item
• Unnamed Item

This page was built for publication: Boolean Connexive Logics: Semantics and tableau approach