Pages that link to "Item:Q830398"
From MaRDI portal
The following pages link to Kripke-completeness and cut-elimination theorems for intuitionistic paradefinite logics with and without quasi-explosion (Q830398):
Displaying 3 items.
- Embedding friendly first-order paradefinite and connexive logics (Q2079706) (← links)
- An extended paradefinite logic combining conflation, paraconsistent negation, classical negation, and classical implication: how to construct Nice Gentzen-type sequent calculi (Q2084568) (← links)
- Connexive logic, connexivity, and connexivism: remarks on terminology (Q6127183) (← links)
