Restriction of term complexity in derivations and decidable fragments of predicate calculus
From MaRDI portal
Publication:1102933
DOI10.1007/BF01103259zbMath0645.03008MaRDI QIDQ1102933
Publication date: 1988
Published in: Journal of Soviet Mathematics (Search for Journal in Brave)
Classical first-order logic (03B10) Decidability of theories and sets of sentences (03B25) Mechanization of proofs and logical operations (03B35) Complexity of proofs (03F20)
This page was built for publication: Restriction of term complexity in derivations and decidable fragments of predicate calculus
