Predicate calculus of arbitrarily high finite order
From MaRDI portal
Recommendations
- Higher-order illative combinatory logic
- scientific article; zbMATH DE number 4121963
- Completeness of two systems of illative combinatory logic for first-order propositional and predicate calculus
- Systems of illative combinatory logic complete for first-order propositional and predicate calculus
- A one axiom set theory based on higher order predicate calculus
Cites work
- A deduction theorem for restricted generality
- Einige Betrachtungen über die Begriffe der ω-Widerspruchsfreiheit und der ω-Vollständigkeit
- scientific article; zbMATH DE number 3122413 (Why is no real title available?)
- scientific article; zbMATH DE number 3485757 (Why is no real title available?)
- scientific article; zbMATH DE number 3280068 (Why is no real title available?)
- Propositional and predicate calculus based on combinatory logic
- The \(Q\)-consistency of \(F_{22}\)
- The consistency of a system of combinatory restricted generality
Cited in
(6)- A transfinite Knuth-Bendix order for lambda-free higher-order terms
- scientific article; zbMATH DE number 3885866 (Why is no real title available?)
- A one axiom set theory based on higher order predicate calculus
- Meeting of the Association for Symbolic Logic, Melbourne, Australia, 1979
- Systems of illative combinatory logic complete for first-order propositional and predicate calculus
- scientific article; zbMATH DE number 3323813 (Why is no real title available?)
This page was built for publication: Predicate calculus of arbitrarily high finite order
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q3309804)
