Remarks on an infinitary language with constructive formulas

DOI10.2307/2270771zbMath0221.02005OpenAlexW2139771984MaRDI QIDQ5625117

No author found.

Publication date: 1967

Published in: Journal of Symbolic Logic (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.2307/2270771

Mathematics Subject Classification ID

Interpolation, preservation, definability (03C40) Other infinitary logic (03C75)

Related Items (4)

ET and an infinitary Church's thesis ⋮ Mehrsortige logische Systeme mit unendlich langen Formeln I ⋮ Some Remarks on the Proof-Theory and the Semantics of Infinitary Modal Logic ⋮ Equivalences among logics of programs

Cites Work

• On predicates with constructive infinitely long expressions

This page was built for publication: Remarks on an infinitary language with constructive formulas