Pages that link to "Item:Q2186695"
From MaRDI portal
The following pages link to Completeness and cut-elimination for first-order ideal paraconsistent four-valued logic (Q2186695):
Displaying 3 items.
- Kripke-completeness and cut-elimination theorems for intuitionistic paradefinite logics with and without quasi-explosion (Q830398) (← links)
- Modal extension of ideal paraconsistent four-valued logic and its subsystem (Q2004955) (← links)
- Embedding friendly first-order paradefinite and connexive logics (Q2079706) (← links)