The sentential calculus with infinitely long expressions

DOI10.4064/cm-6-1-165-170zbMath0119.25002OpenAlexW1597233009MaRDI QIDQ5730888

Dana S. Scott, Alfred Tarski

Publication date: 1958

Published in: Colloquium Mathematicum (Search for Journal in Brave)

Full work available at URL: https://eudml.org/doc/210355

zbMATH Keywords

mathematical logic

Related Items

Infinitary Equilibrium Logic and Strong Equivalence, Modeling limits in hereditary classes: reduction and application to trees, Infinitary equilibrium logic and strongly equivalent logic programs, On equivalence of infinitary formulas under the stable model semantics, An infinitary encoding of temporal equilibrium logic, The theory of transfinite recursion, Unnamed Item, Compactness in Infinitary Gödel Logics, Key notions of Tarski's methodology of deductive systems, The role of the Omitting Types Theorem in infinitary logic, An Ehrenfeucht-Fraïssé game for Lω1ω