Przeglądaj Bulletin of the Section of Logic 52/4 (2023) według tematu

Wyświetlanie pozycji 1-20 z 22

Temat
(\(H_{v}\),\(Hyper)BE\)-algebra [1]
(positive) implicativity [1]
2-sequents [1]
axiomatization [1]
BCK algebra [1]
cardinal multiplication [1]
cut elimination [1]
extendable single-valued neutrosophic (hyper)\(BCK\)-ideal [1]
fundamental relation [1]
GE algebra [1]
Hilbert algebra [1]
modal logic [1]
multialgebras [1]
non-deterministic semantics [1]
ordered algebras [1]
proof theory [1]
quasi commutative diagram [1]
Quine's New Foundations [1]
quotient [1]
sequent calculus [1]