Pages that link to "Item:Q3643320"
From MaRDI portal
The following pages link to Constructive negation, implication, and co-implication (Q3643320):
Displaying 12 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)
