Structural completeness of the first‐order predicate calculus

DOI10.1002/malq.19750210138zbMath0312.02011OpenAlexW2027669012MaRDI QIDQ4071202

Tadeusz Prucnal, Witold A. Pogorzelski

Publication date: 1975

Published in: Mathematical Logic Quarterly (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1002/malq.19750210138

Mathematics Subject Classification ID

Classical first-order logic (03B10) Categoricity and completeness of theories (03C35)

Related Items (4)

On rules ⋮ Program-substitution and admissibility of rules in algorithmic logic ⋮ Tutorial on Admissible Rules in Gudauri ⋮ UNIFICATION IN SUPERINTUITIONISTIC PREDICATE LOGICS AND ITS APPLICATIONS

This page was built for publication: Structural completeness of the first‐order predicate calculus