Filtruj według: tematu

Wyświetlanie pozycji 1-10 z 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)