Super-Strict Implications

DOI10.18778/0138-0680.2021.02zbMath1500.03006OpenAlexW3123846753MaRDI QIDQ4999461

Eugenio Orlandelli, Guido Gherardi

Publication date: 7 July 2021

Published in: Bulletin of the Section of Logic (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.18778/0138-0680.2021.02

zbMATH Keywords

sequent calculusstrict implicationconnexive logicparadoxes of implication

Mathematics Subject Classification ID

Modal logic (including the logic of norms) (03B45) Philosophical and critical aspects of logic and foundations (03A05) Cut-elimination and normal-form theorems (03F05)

Related Items (3)

Connexive logic, connexivity, and connexivism: remarks on terminology ⋮ Proof systems for super-strict implication ⋮ The implicative conditional

Cites Work

• Unnamed Item
• Unnamed Item
• Bolzano's consequence, relevance, and enthymemes
• A simplification of the logic of conditionals
• Constructivism in mathematics. An introduction. Volume II
• A guide to completeness and complexity for modal logics of knowledge and belief
• An algebraic approach to non-classical logics
• Strong Boethius' thesis and consequential implication
• Negation as cancellation, and connexive logic
• Proof Analysis
• Negation as Cancellation, Connexive Logic, and qLPm
• Connexive logics. An overview and current trends
• Proof theory for quantified monotone modal logics

This page was built for publication: Super-Strict Implications