ВМ Петрович, НМ Требіна… - … імені Тараса Шевченка …, 2015 - irbis-nbuv.gov.ua
Special sequent calculi to check satisfiability of sets of formulas in pure first-order logics of
quasiary predicates are constructed. They are called calculi of satisfiable sets. Axioms of the …