Constructive negation, implication, and co-implication

DOI10.3166/jancl.18.341-364zbMath1181.03027OpenAlexW2075055711MaRDI QIDQ3643320

Heinrich Wansing

Publication date: 11 November 2009

Published in: Journal of Applied Non-Classical Logics (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.3166/jancl.18.341-364

zbMATH Keywords

constructive logicconstructive negationparaconsistent logicsconnexive logicconstructive co-implicationconstructive implication

Mathematics Subject Classification ID

Paraconsistent logics (03B53)

Related Items (35)

Power and Limits of Structural Display Rules ⋮ A bi-intuitionistic modal logic: foundations and automation ⋮ Constraint tableaux for two-dimensional fuzzy logics ⋮ Bi-simulating in bi-intuitionistic logic ⋮ Modal multilattice logic ⋮ 40 years of FDE: an introductory overview ⋮ Kripke completeness of bi-intuitionistic multilattice logic and its connexive variant ⋮ IMPROVING STRONG NEGATION ⋮ A more general general proof theory ⋮ Bunched logics displayed ⋮ Disentangling structural connectives or life without display property ⋮ Qualitative reasoning in a two-layered framework ⋮ Wansing's bi-intuitionistic logic: semantics, extension and unilateralisation ⋮ Executability and connexivity in an interpretation of Griss ⋮ Reprint of: ``A more general general proof theory ⋮ Natural deduction for bi-intuitionistic logic ⋮ Logical multilateralism ⋮ On Split Negation, Strong Negation, Information, Falsification, and Verification ⋮ K3, Ł3, LP, RM3, A3, FDE, M: How to Make Many-Valued Logics Work for You ⋮ On Non-transitive “Identity” ⋮ Understanding negation implicationally in the relevant logic R ⋮ Natural deduction for dual-intuitionistic logic ⋮ Hypersequent and display calculi -- a unified perspective ⋮ A MODAL TRANSLATION FOR DUAL-INTUITIONISTIC LOGIC ⋮ Combining linear-time temporal logic with constructiveness and paraconsistency ⋮ Logics of nonsense and Parry systems ⋮ On Displaying Negative Modalities ⋮ On negation for non-classical set theories ⋮ Negation on the Australian plan ⋮ On the Methodology of Paraconsistent Logic ⋮ Bi-Classical Connexive Logic and its Modal Extension: Cut-elimination, completeness and duality ⋮ Connexive Conditional Logic. Part I ⋮ Proof theory of Nelson's paraconsistent logic: a uniform perspective ⋮ A non-inferentialist, anti-realistic conception of logical truth and falsity ⋮ Paraconsistent Gödel modal logic

Cites Work

• Unnamed Item
• Nelson's negation on the base of weaker versions of intuitionistic negation
• Some useful 16-valued logics: How a computer network should think
• Non-classical negation in the works of Helena Rasiowa and their impact on the theory of negation
• Suszko's thesis, inferential many-valuedness, and the notion of a logical system
• Constructive negations and paraconsistency
• Phase semantics and Petri net interpretation for resource-sensitive strong negation
• Semantical analyses of propositional systems of Fitch and Nelson
• Applications of Kripke models to Heyting-Brouwer logic
• Intuitionistic logic with strong negation
• Notes on \(\eta\)-lattices and constructive logic with strong negation
• On logics with coimplication
• The logic of information structures
• Dual-intuitionistic logic
• Anti-intuitionism and paraconsistency
• Partiality and its dual
• A formalization of the propositional calculus of H-B logic
• Constructible falsity and inexact predicates
• A new constructive logic: classic logic
• A note on dual-intuitionistic logic
• Algebraic Semantics for Paraconsistent Nelson's Logic
• A Cut-Free Sequent Calculus for Bi-intuitionistic Logic
• A Note on Negation in Categorial Grammar
• A semantical study of constructible falsity
• Constructible falsity
• Subtractive logic

This page was built for publication: Constructive negation, implication, and co-implication