scientific article; zbMATH DE number 6407640

zbMath1436.03003MaRDI QIDQ5175691

Norihiro Kamide, Heinrich Wansing

Publication date: 24 February 2015

Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.

Mathematics Subject Classification ID

Research exposition (monographs, survey articles) pertaining to mathematical logic and foundations (03-02) Cut-elimination and normal-form theorems (03F05) Many-valued logic (03B50) Substructural logics (including relevance, entailment, linear logic, Lambek calculus, BCK and BCI logics) (03B47) Proof theory in general (including proof-theoretic semantics) (03F03) Subsystems of classical logic (including intuitionistic logic) (03B20) Paraconsistent logics (03B53)

Related Items (29)

Routley star and hyperintensionality ⋮ Kripke-completeness and cut-elimination theorems for intuitionistic paradefinite logics with and without quasi-explosion ⋮ ON CONTRA-CLASSICAL VARIANTS OF NELSON LOGIC N4 AND ITS CLASSICAL EXTENSION ⋮ 40 years of FDE: an introductory overview ⋮ Paraconsistent logic, evidence, and justification ⋮ Kripke completeness of bi-intuitionistic multilattice logic and its connexive variant ⋮ IMPROVING STRONG NEGATION ⋮ On the provable contradictions of the connexive logics \(\mathbf{C}\) and \(\mathbf{C3}\) ⋮ Refutation-aware Gentzen-style calculi for propositional until-free linear-time temporal logic ⋮ A simple way to overcome hyperconnexivity ⋮ Angell and McCall meet Wansing ⋮ An infinity of intuitionistic connexive logics ⋮ Logical multilateralism ⋮ Falsification-aware calculi and semantics for normal modal logics including S4 and S5 ⋮ On Synonymy in Proof-Theoretic Semantics: The Case of \(\mathtt{2Int}\) ⋮ On Split Negation, Strong Negation, Information, Falsification, and Verification ⋮ An Invitation to New Essays on Belnap-Dunn Logic ⋮ On Non-transitive “Identity” ⋮ Proof theory of paraconsistent quantum logic ⋮ An epistemic approach to paraconsistency: a logic of evidence and truth ⋮ Connexive logics. An overview and current trends ⋮ Bi-Classical Connexive Logic and its Modal Extension: Cut-elimination, completeness and duality ⋮ Towards a bridge over two approaches in connexive logic ⋮ Connexive Conditional Logic. Part I ⋮ Falsification-aware semantics and sequent calculi for classical logic ⋮ Embedding friendly first-order paradefinite and connexive logics ⋮ On recent applications of paraconsistent logic: an exploratory literature review ⋮ A Poly-Connexive Logic ⋮ Normalisation for Some Quite Interesting Many-Valued Logics

This page was built for publication: