Pages that link to "Item:Q4803959"
From MaRDI portal
The following pages link to A deductive-reductive form of logic: Intuitionistic S4 modalities (Q4803959):
Displayed 3 items.
- Proof theory of Nelson's paraconsistent logic: a uniform perspective (Q764309) (← 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)