Constructive negation, implication, and co-implication
From MaRDI portal
Publication:3643320
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 Note on Negation in Categorial Grammar
- A formalization of the propositional calculus of H-B logic
- A new constructive logic: classic logic
- A note on dual-intuitionistic logic
- 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)- On non-transitive ``identity
- Executability and connexivity in an interpretation of Griss
- No group of opposition for constructive logics: the intuitionistic and linear cases
- Constraint tableaux for two-dimensional fuzzy logics
- Reasoning with belief functions over Belnap-Dunn logic
- Natural deduction for dual-intuitionistic logic
- IMPROVING STRONG NEGATION
- Converse Ackermann property and constructive negation defined with a negation connective
- Combining linear-time temporal logic with constructiveness and paraconsistency
- Symmetric and dual paraconsistent logics
- A more general general proof theory
- The Non Cooperative Basis of Implicatures
- A MODAL TRANSLATION FOR DUAL-INTUITIONISTIC LOGIC
- Inverse negation and classical implicative logic
- scientific article; zbMATH DE number 2109242 (Why is no real title available?)
- A bi-intuitionistic modal logic: foundations and automation
- On split negation, strong negation, information, falsification, and verification
- Dual counterpart intuitionistic logic
- Empirical Negation, Co-Negation and the Contraposition Rule II: Proof-Theoretical Investigations
- Paraconsistent Gödel modal logic
- Substructural negations as normal modal operators
- Bi-classical connexive logic and its modal extension: cut-elimination, completeness and duality
- Algebraic completeness of connexive and bi-intuitionistic multilattice logics
- On negation for non-classical set theories
- Notes on constructive negation
- A non-inferentialist, anti-realistic conception of logical truth and falsity
- A general Glivenko-Gödel theorem for nuclei
- On displaying negative modalities
- Hypersequent and display calculi -- a unified perspective
- Negation on the Australian plan
- Multiset-multiset frames
- Logical multilateralism
- Bi-simulating in bi-intuitionistic logic
- Power and limits of structural display rules
- Paraconsistent constructive modal logic
- Logics of nonsense and Parry systems
- Kripke completeness of bi-intuitionistic multilattice logic and its connexive variant
- A hierarchy of weak double negations
- Modal multilattice logic
- On the methodology of paraconsistent logic
- K3, Ł3, LP, RM3, A3, FDE, M: how to make many-valued logics work for you
- Connexive logic: new old challenges
- Proof theory of Nelson's paraconsistent logic: a uniform perspective
- Crisp bi-Gödel modal logic and its paraconsistent expansion
- Reprint of: ``A more general general proof theory
- Bunched logics displayed
- Connexive conditional logic. I
- scientific article; zbMATH DE number 1749146 (Why is no real title available?)
- Symmetric and conflated intuitionistic logics
- About opposition and duality in paraconsistent type theory
- Fuzzy bi-Gödel modal logic and its paraconsistent relatives
- 40 years of FDE: an introductory overview
- Wansing's bi-intuitionistic logic: semantics, extension and unilateralisation
- Understanding negation implicationally in the relevant logic R
- Disentangling structural connectives or life without display property
- Qualitative reasoning in a two-layered framework
- Natural deduction for bi-intuitionistic logic
- Consistency-sensitive epistemic modalities in information-based semantics
- From Jaśkowski's discussive logic to contemporary paraconsistent systems
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)
