Correspondence of contradictions in the constructive connexive calculus \textbf{C}
From MaRDI portal
Publication:7266795
Cites work
- A bilateral Hilbert-style investigation of 2-intuitionistic logic
- A note on contradictions in Francez-Weiss logics
- A note on synonymy in proof-theoretic semantics
- A short introduction to intuitionistic logic
- An algebraic investigation of the connexive logic \(\mathsf{C}\)
- An extension of connexive logic C
- Classical propositional logic and decidability of variables in intuitionistic propositional logic
- Connexive logic, connexivity, and connexivism: remarks on terminology
- Constructible falsity
- Constructible falsity and inexact predicates
- Constructivism in mathematics. An introduction. Volume II
- Cut-elimination and normalization theorems for connexive logics over Wansing's C
- scientific article; zbMATH DE number 1497485 (Why is no real title available?)
- scientific article; zbMATH DE number 6407640 (Why is no real title available?)
- scientific article; zbMATH DE number 7655660 (Why is no real title available?)
- Intuitionistic views on connexive constrictible falsity
- Logic: a history of its central concepts
- Logical multilateralism
- On Synonymy in Proof-Theoretic Semantics: The Case of \(\mathtt{2Int}\)
- Proof theory of Nelson's paraconsistent logic: a uniform perspective
- Structural proof theory. With an appendix by Aarne Ranta
- Tarskian consequence relations bilaterally: some familiar notions
This page was built for publication: Correspondence of contradictions in the constructive connexive calculus \textbf{C}
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q7266795)
