Situation-based connexive logic

DOI10.1007/s11225-023-10051-8OpenAlexW4378714385MaRDI QIDQ6127191

Alessandro Giordani

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-10051-8

zbMATH Keywords

modal logicsituation semanticsintensional semanticsAristotle's thesisconnexive logicBoethius' thesis

Mathematics Subject Classification ID

Mathematical logic and foundations (03-XX)

Cites Work

• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• The logic of conditional negation
• Strong Boethius' thesis and consequential implication
• Two kinds of consequential implication
• A theory of truthmaker content. I: Conjunction, disjunction and negation
• A theory of truthmaker content. II: Subject-matter, common content, remainder and ground
• Aristotle's Thesis between paraconsistency and modalization
• Negation as cancellation, and connexive logic
• Axiomatization of some basic and modal Boolean connexive logics
• Rewriting the history of connexive logic
• Negation as Cancellation, Connexive Logic, and qLPm
• Connexive logics. An overview and current trends
• Boolean Connexive Logics: Semantics and tableau approach
• Humble Connexivity
• Leibniz's laws of consistency and the philosophical foundations of connexive logic
• Connexive Conditional Logic. Part I
• Information Flow
• Modal Boolean Connexive Logics: Semantics and Tableau Approach
• A Critical Examination of the Historical Origins of Connexive Logic

This page was built for publication: Situation-based connexive logic