Invariant transformations of formulas

DOI10.1007/BF01156469zbMath0577.03002OpenAlexW2037299026MaRDI QIDQ1065781

Vladimir Ivanovich Mart'yanov

Publication date: 1984

Published in: Mathematical Notes (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1007/bf01156469

zbMATH Keywords

predicate logicmodus ponensclasses of models

Mathematics Subject Classification ID

Model theory (03C99) Classical first-order logic (03B10) Mechanization of proofs and logical operations (03B35)

Cites Work

• DECIDABILITY PROBLEMS OF EXTENDED THEORIES

This page was built for publication: Invariant transformations of formulas