The sentential calculus with infinitely long expressions

DOI10.4064/CM-6-1-165-170MaRDI QIDQ5730888zbMATH OpenOpenAlexFDO

Authors Dana 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

Cited in

(12)

• Key notions of Tarski's methodology of deductive systems
• Infinitary equilibrium logic and strongly equivalent logic programs
• Modeling limits in hereditary classes: reduction and application to trees
• Compactness in infinitary Gödel logics
• An Ehrenfeucht-Fraïssé game for \(\mathcal L_{\omega_1\omega}\)
• The theory of transfinite recursion
• Infinitary Equilibrium Logic and Strong Equivalence
• The role of the Omitting Types Theorem in infinitary logic
• On equivalence of infinitary formulas under the stable model semantics
• An infinitary encoding of temporal equilibrium logic
• scientific article; zbMATH DE number 7577568 (Why is no real title available?)
• Inferential quantification and the -rule

This page was built for publication: The sentential calculus with infinitely long expressions

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q5730888)