Pages that link to "Item:Q3386911"
From MaRDI portal
The following pages link to Non-deterministic algebraization of logics by swap structures1 (Q3386911):
Displaying 6 items.
- BISON instantiating the whitened swap-or-not construction (Q2292708) (← links)
- Swap structures semantics for Ivlev-like modal logics (Q2317515) (← links)
- SOME MODEL-THEORETIC RESULTS ON THE 3-VALUED PARACONSISTENT FIRST-ORDER LOGIC <b>QCIORE</b> (Q5001546) (← links)
- Twist-Valued Models for Three-Valued Paraconsistent Set Theory (Q5013621) (← links)
- Monteiro's algebraic notion of maximal consistent theory for Tarskian logics (Q6079419) (← links)
- From Belnap-Dunn four-valued logic to six-valued logics of evidence and truth (Q6562366) (← links)
