Constructive negation, implication, and co-implication
From MaRDI portal
Recommendations
- Constructive negations and paraconsistency
- Constructive negation under the well-founded semantics
- Négation constructive et axiomatique interne
- The basic constructive logic for negation-consistency
- scientific article; zbMATH DE number 1749146
- Implication, Equivalence, and Negation
- Constructive proofs of negated statements
- scientific article; zbMATH DE number 1059306
- Inverse negation and classical implicative logic
- Negation and Implication in Quasi-Nelson Logic
Cites work
- A Cut-Free Sequent Calculus for Bi-intuitionistic Logic
- A formalization of the propositional calculus of H-B logic
- A new constructive logic: classic logic
- A note on dual-intuitionistic logic
- A Note on Negation in Categorial Grammar
- A semantical study of constructible falsity
- Algebraic Semantics for Paraconsistent Nelson's Logic
- Anti-intuitionism and paraconsistency
- Applications of Kripke models to Heyting-Brouwer logic
- Connexive modal logic
- Constructible falsity
- Constructible falsity and inexact predicates
- Constructive negations and paraconsistency
- Dual-intuitionistic logic
- Intuitionistic logic with strong negation
- Nelson's negation on the base of weaker versions of intuitionistic negation
- Non-classical negation in the works of Helena Rasiowa and their impact on the theory of negation
- Notes on \(\eta\)-lattices and constructive logic with strong negation
- On logics with coimplication
- Partiality and its dual
- Phase semantics and Petri net interpretation for resource-sensitive strong negation
- Semantical analyses of propositional systems of Fitch and Nelson
- Some useful 16-valued logics: How a computer network should think
- Subtractive logic
- Suszko's thesis, inferential many-valuedness, and the notion of a logical system
- The logic of information structures
Cited in
(59)- Modal multilattice logic
- 40 years of FDE: an introductory overview
- Kripke completeness of bi-intuitionistic multilattice logic and its connexive variant
- A more general general proof theory
- Reprint of: ``A more general general proof theory
- Natural deduction for bi-intuitionistic logic
- Bunched logics displayed
- A hierarchy of weak double negations
- Logics of nonsense and Parry systems
- On negation for non-classical set theories
- Paraconsistent Gödel modal logic
- Constraint tableaux for two-dimensional fuzzy logics
- Hypersequent and display calculi -- a unified perspective
- Negation on the Australian plan
- A non-inferentialist, anti-realistic conception of logical truth and falsity
- Disentangling structural connectives or life without display property
- Notes on constructive negation
- Inverse negation and classical implicative logic
- A bi-intuitionistic modal logic: foundations and automation
- Symmetric and dual paraconsistent logics
- 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
- Bi-simulating in bi-intuitionistic logic
- Bi-classical connexive logic and its modal extension: cut-elimination, completeness and duality
- Connexive conditional logic. I
- scientific article; zbMATH DE number 1749146 (Why is no real title available?)
- On displaying negative modalities
- scientific article; zbMATH DE number 2109242 (Why is no real title available?)
- No group of opposition for constructive logics: the intuitionistic and linear cases
- The Non Cooperative Basis of Implicatures
- Empirical Negation, Co-Negation and the Contraposition Rule II: Proof-Theoretical Investigations
- Understanding negation implicationally in the relevant logic R
- On the methodology of paraconsistent logic
- Power and limits of structural display rules
- Converse Ackermann property and constructive negation defined with a negation connective
- A MODAL TRANSLATION FOR DUAL-INTUITIONISTIC LOGIC
- IMPROVING STRONG NEGATION
- Qualitative reasoning in a two-layered framework
- Wansing's bi-intuitionistic logic: semantics, extension and unilateralisation
- Executability and connexivity in an interpretation of Griss
- Logical multilateralism
- Reasoning with belief functions over Belnap-Dunn logic
- Algebraic completeness of connexive and bi-intuitionistic multilattice logics
- Multiset-multiset frames
- A general Glivenko-Gödel theorem for nuclei
- About opposition and duality in paraconsistent type theory
- Paraconsistent constructive modal logic
- Connexive logic: new old challenges
- Crisp bi-Gödel modal logic and its paraconsistent expansion
- Symmetric and conflated intuitionistic logics
- Fuzzy bi-Gödel modal logic and its paraconsistent relatives
- Consistency-sensitive epistemic modalities in information-based semantics
- From Jaśkowski's discussive logic to contemporary paraconsistent systems
- Natural deduction for dual-intuitionistic logic
- Dual counterpart intuitionistic logic
- Substructural negations as normal modal operators
- Proof theory of Nelson's paraconsistent logic: a uniform perspective
- Combining linear-time temporal logic with constructiveness and paraconsistency
This page was built for publication: Constructive negation, implication, and co-implication
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q3643320)
