Przeglądaj Bulletin of the Section of Logic 55/2 (2026) według tematu

Wyświetlanie pozycji 1-20 z 26

Temat
3-valued Łukasiewicz logic [1]
\(BL\)-algebra [1]
\(J\)-semi maximal filter [1]
\(NJ\)-semi maximal filter [1]
algebraic semantics [1]
classical propositional logic [1]
distributivity [2]
equality algebra [1]
first-order logics [1]
implicational fragment of Łukasiewicz logic [1]
labeled calculi [1]
lattices [1]
matrix semantics [1]
modal logics of classes of structures [1]
nested sequents [1]
non-Fregean sentential logic [1]
O6 lattice [1]
order [1]
product topology [1]
proof translations [1]