Pages that link to "Item:Q3012506"
From MaRDI portal
The following pages link to Symmetric and dual paraconsistent logics (Q3012506):
Displayed 4 items.
- Proof theory of Nelson's paraconsistent logic: a uniform perspective (Q764309) (← links)
- Modal multilattice logic (Q1682294) (← links)
- Kripke completeness of bi-intuitionistic multilattice logic and its connexive variant (Q1685569) (← links)
- Bi-Classical Connexive Logic and its Modal Extension: Cut-elimination, completeness and duality (Q3387890) (← links)