Filter by: Subject

Now showing items 1-10 of 5

2 set-up binary Routley semantics (1)
3-valued logics (1)
3-valued Łukasiewicz logic (1)
\(EQ\)-algebra (1)
\(n\)-fold pseudo implicative (implicative, fantastic) EQ-algebra (1)
\(n\)-fold pseudo implicative (implicative, obstinate, fantastic) prefilter (1)
algebraizable logic (1)
binary Routley semantics (1)
consequence relation (1)
De Morgan Gödel logic (1)