A formal system of first-order predicate calculus with infinitely long expressions

DOI10.2969/jmsj/01340357zbMath0108.00203OpenAlexW2018651033MaRDI QIDQ1130508

Gaisi Takeuti, Shôji Maehara

Publication date: 1962

Published in: Journal of the Mathematical Society of Japan (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.2969/jmsj/01340357

zbMATH Keywords

cut-elimination theoremsemantic completenessSchütte's methodCraig's interpolation theoremfirst-order predicate calculusGentzen-type set of rules of proofinfinitely long expressionsLöwenheim-Skolem-type theorem

Mathematics Subject Classification ID

Classical first-order logic (03B10)

Related Items (8)

Infinitary first-order categorical logic ⋮ A reduction-principle for infinite formulas ⋮ A Determinate Logic ⋮ Der Interpolationssatz der intuitionistischen Prädikatenlogik ⋮ Infinitary analogs of theorems from first order model theory ⋮ A complete infinitary logic ⋮ European Summer Meeting of the Association for Symbolic Logic, Leeds, 1979 ⋮ Sequent Calculi and Interpolation for Non-Normal Modal and Deontic Logics

This page was built for publication: A formal system of first-order predicate calculus with infinitely long expressions