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

Wyświetlanie pozycji 1-20 z 22

Temat
20th-century foundations of geometry [1]
amalgamation [1]
Boolean algebras [1]
characterization theorem [1]
classical logic [1]
conjunctive set of conclusions [1]
Harrop formulas [1]
Inquisitive Logic [1]
intermediate logics [1]
interpolation [1]
Kleene algebras [1]
Maehara's lemma [1]
mechanical proofs [1]
multiple-conclusion consequence relation [1]
non-monotonic proof-theoretic semantics [1]
regular double Stone algebras [1]
strong amalgamation [1]
super-amalgamation [1]
Thales’ theorem [1]
the Elements [1]