Aristotle's Thesis between paraconsistency and modalization

DOI10.1016/j.jal.2004.07.014zbMath1063.03008OpenAlexW2001386903MaRDI QIDQ1775867

Claudio E. A. Pizzi

Publication date: 4 May 2005

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

Full work available at URL: https://doi.org/10.1016/j.jal.2004.07.014

zbMATH Keywords

RelevanceParaconsistencyAristotle's squareConnexive logicImplication

Mathematics Subject Classification ID

Modal logic (including the logic of norms) (03B45) Substructural logics (including relevance, entailment, linear logic, Lambek calculus, BCK and BCI logics) (03B47) Paraconsistent logics (03B53)

Related Items (5)

Two kinds of consequential implication ⋮ Connexive logic, connexivity, and connexivism: remarks on terminology ⋮ Situation-based connexive logic ⋮ Connexive logics. An overview and current trends ⋮ Conditional excluded middle in systems of consequential implication

Cites Work

• Bolzano's consequence, relevance, and enthymemes
• Aristotle's thesis in consistent and inconsistent logics
• Decision procedures for logics of consequential implication
• Semantics for connexive logics. I
• A Routley-Meyer affixing style semantics for logics containing Aristotle's thesis
• Strong Boethius' thesis and consequential implication
• Modal logic with subjunctive conditionals and dispositional predicates
• Connexive implication
• On systems containing Aristotle's thesis
• A propositional logic with subjunctive conditionals
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item

This page was built for publication: Aristotle's Thesis between paraconsistency and modalization