Pages that link to "Item:Q2987717"
From MaRDI portal
The following pages link to A simple Henkin-style completeness proof for Gödel 3-valued logic G3 (Q2987717):
Displaying 4 items.
- A basic dual intuitionistic logic and some of its extensions included in \(\mathrm{G}3_{\mathrm{DH}}\) (Q2035847) (← links)
- The class of all natural implicative expansions of Kleene's strong logic functionally equivalent to Łukasiewicz's 3-valued logic Ł3 (Q2209169) (← links)
- A basic quasi-Boolean logic of intuitionistic character (Q4994021) (← links)
- Belnap-Dunn semantics for natural implicative expansions of Kleene's strong three-valued matrix with two designated values (Q5742698) (← links)
