Predicate calculus of arbitrarily high finite order
From MaRDI portal
Publication:3309804
DOI10.1007/BF02023007zbMath0528.03005OpenAlexW2071926437MaRDI QIDQ3309804
Publication date: 1983
Published in: Archiv für Mathematische Logik und Grundlagenforschung (Search for Journal in Brave)
Full work available at URL: https://eudml.org/doc/138001
Related Items
Systems of illative combinatory logic complete for first-order propositional and predicate calculus, A one axiom set theory based on higher order predicate calculus, Meeting of the Association for Symbolic Logic, Melbourne, Australia, 1979
Cites Work
- Unnamed Item
- Unnamed Item
- Unnamed Item
- The \(Q\)-consistency of \(F_{22}\)
- A deduction theorem for restricted generality
- Einige Betrachtungen über die Begriffe der ω-Widerspruchsfreiheit und der ω-Vollständigkeit
- The consistency of a system of combinatory restricted generality
- Propositional and predicate calculus based on combinatory logic