Słowa kluczowe: divisibility, Stone-ˇCech compactification, ultrafilter, Nelson’s logic, intuitionistic logic, Jankov’s logic, nonmonotonic reasoning, axiomatization, Implication algebra, Tarski algebra, monoid of endomorphisms, Craig interpolation theorem, linear-time temporal logic, infinitary logic, paraconsistent logic, sequent calculus