Pages that link to "Item:Q2903755"
From MaRDI portal
The following pages link to (Star-based) three-valued Kripke-style semantics for pseudo- and weak-Boolean logics (Q2903755):
Displaying 7 items.
- Algebraic Kripke-style semantics for relevance logics (Q484156) (← links)
- A basic dual intuitionistic logic and some of its extensions included in \(\mathrm{G}3_{\mathrm{DH}}\) (Q2035847) (← links)
- A simple Henkin-style completeness proof for Gödel 3-valued logic G3 (Q2987717) (← links)
- A basic quasi-Boolean logic of intuitionistic character (Q4994021) (← links)
- Natural implicative expansions of variants of Kleene's strong 3-valued logic with Gödel-type and dual Gödel-type negation (Q5156187) (← links)
- Semantical analysis of weak Kleene logics (Q5742697) (← links)
- (Q5863756) (← links)