Boolean connexive logics: semantics and tableau approach

DOI10.12775/LLP.2019.003MaRDI QIDQ3387888zbMATH OpenFDO

Authors Tomasz Jarmużek, Jacek Malinowski

Publication date 8 January 2021

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

Full work available at URL https://doi.org/10.12775/LLP.2019.003

zbMATH Keywords

Boolean connexive logicsconnexive logicrelatednessrelating semanticstableau approach

Mathematics Subject Classification ID

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

Recommendations

• Modal Boolean connexive logics: semantics and tableau approach
• A poly-connexive logic
• Connexive conditional logic. I
• Connexive logics. An overview and current trends
• Connexive modal logic

Cites work

• Analytic implication
• scientific article; zbMATH DE number 45458 (Why is no real title available?)
• scientific article; zbMATH DE number 6316278 (Why is no real title available?)
• Logic: a history of its central concepts
• Logics of nonsense and Parry systems

Cited in

(33)

• Axiomatization of some basic and modal Boolean connexive logics
• An analysis of poly-connexivity
• An unexpected Boolean connective
• Tableaux for logics of content relationship and set-assignment semantics
• Connexive logics. An overview and current trends
• Towards a bridge over two approaches in connexive logic
• Connexive conditional logic. I
• A poly-connexive logic
• 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? A survey of approaches in relating logic
• On connegation
• Modal Boolean connexive logics: semantics and tableau approach
• Knot and tonk: nasty connectives on many-valued truth-tables for classical sentential logic
• 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
• Axiomatization of Boolean connexive logics with syncategorematic negation and modalities
• Inferential-connexive mixed logics
• Connexive logic: new old challenges
• A modal two-variable fragment of second-order propositional modal logic
• Flavors of connexivity
• A note on the historiography of pre-modern connexive logic
• The mathematics of Epstein semantics
• Suprastructural logics
• Generalized Epstein semantics for Parry systems

This page was built for publication: Boolean connexive logics: semantics and tableau approach

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