Pages that link to "Item:Q3643320"
From MaRDI portal
The following pages link to Constructive negation, implication, and co-implication (Q3643320):
Displaying 34 items.
- A bi-intuitionistic modal logic: foundations and automation (Q299186) (← links)
- Bi-simulating in bi-intuitionistic logic (Q332084) (← links)
- Understanding negation implicationally in the relevant logic R (Q514515) (← links)
- Natural deduction for dual-intuitionistic logic (Q694491) (← links)
- Proof theory of Nelson's paraconsistent logic: a uniform perspective (Q764309) (← links)
- Combining linear-time temporal logic with constructiveness and paraconsistency (Q975875) (← links)
- Modal multilattice logic (Q1682294) (← links)
- 40 years of FDE: an introductory overview (Q1685563) (← links)
- Kripke completeness of bi-intuitionistic multilattice logic and its connexive variant (Q1685569) (← links)
- A more general general proof theory (Q1688710) (← links)
- Reprint of: ``A more general general proof theory'' (Q1693594) (← links)
- Natural deduction for bi-intuitionistic logic (Q1693596) (← links)
- Bunched logics displayed (Q1935559) (← links)
- Logics of nonsense and Parry systems (Q2018590) (← links)
- On negation for non-classical set theories (Q2037302) (← links)
- Paraconsistent Gödel modal logic (Q2104534) (← links)
- Constraint tableaux for two-dimensional fuzzy logics (Q2142061) (← links)
- Hypersequent and display calculi -- a unified perspective (Q2259013) (← links)
- Negation on the Australian plan (Q2295602) (← links)
- A non-inferentialist, anti-realistic conception of logical truth and falsity (Q2339010) (← links)
- Disentangling structural connectives or life without display property (Q2421521) (← links)
- On Split Negation, Strong Negation, Information, Falsification, and Verification (Q3305426) (← links)
- K3, Ł3, LP, RM3, A3, FDE, M: How to Make Many-Valued Logics Work for You (Q3305614) (← links)
- On Non-transitive “Identity” (Q3305680) (← links)
- Bi-Classical Connexive Logic and its Modal Extension: Cut-elimination, completeness and duality (Q3387890) (← links)
- Connexive Conditional Logic. Part I (Q3387894) (← links)
- On Displaying Negative Modalities (Q4683222) (← links)
- On the Methodology of Paraconsistent Logic (Q5213765) (← links)
- Power and Limits of Structural Display Rules (Q5277918) (← links)
- A MODAL TRANSLATION FOR DUAL-INTUITIONISTIC LOGIC (Q5741613) (← links)
- IMPROVING STRONG NEGATION (Q6051428) (← links)
- Qualitative reasoning in a two-layered framework (Q6099380) (← links)
- Executability and connexivity in an interpretation of Griss (Q6127196) (← links)
- Logical multilateralism (Q6145030) (← links)
