✦ LIBER ✦

Infinitary logic and topological homeomorphisms

✍ Scribed by T. A. McKee

Publisher: John Wiley and Sons
Year: 1975
Tongue: English
Weight: 324 KB
Volume: 21
Category: Article
ISSN: 0044-3050
DOI: 10.1002/malq.19750210154

No coin nor oath required. For personal study only.

📜 SIMILAR VOLUMES

α Logic and Infinitary Languages

✍ Newton C. A. da Costa; Charles C. Pinter 📂 Article 📅 1976 🏛 John Wiley and Sons 🌐 English ⚖ 490 KB

From finitary to infinitary second-order

From finitary to infinitary second-order logic

✍ George Weaver; Irena Penev 📂 Article 📅 2005 🏛 John Wiley and Sons 🌐 English ⚖ 158 KB

## Abstract A back and forth condition on interpretations for those second‐order languages without functional variables whose non‐logical vocabulary is finite and excludes functional constants is presented. It is shown that this condition is necessary and sufficient for the interpretations to be eq

Sequential Calculus for a First Order In

Sequential Calculus for a First Order Infinitary Temporal Logic

✍ Hiroya Kawai 📂 Article 📅 1987 🏛 John Wiley and Sons 🌐 English ⚖ 459 KB

A topological characterization of consis

A topological characterization of consistency of logic theories in propositional logic

✍ Guo-Jun Wang; Yan-Hong She 📂 Article 📅 2006 🏛 John Wiley and Sons 🌐 English ⚖ 116 KB

## Abstract The main purpose of this note is to characterize consistency of logic theories in propositional logic by means of topological concept. Based on the concepts of truth degree of formulas and similarity degree between formulas the concept of logic metric space has been proposed by the firs

A local normal form theorem for infinita

A local normal form theorem for infinitary logic with unary quantifiers

✍ H. Jerome Keisler; Wafik Boulos Lotfallah 📂 Article 📅 2005 🏛 John Wiley and Sons 🌐 English ⚖ 152 KB

We prove a local normal form theorem of the Gaifman type for the infinitary logic L∞ω(Q u ) ω whose formulas involve arbitrary unary quantifiers but finite quantifier rank. We use a local Ehrenfeucht-Fraïssé type game similar to the one in [9]. A consequence is that every sentence of L∞ω(Q u ) ω of

An infinitary variant of Metric Temporal

An infinitary variant of Metric Temporal Logic over dense time domains

✍ Stefano Baratella; Andrea Masini 📂 Article 📅 2004 🏛 John Wiley and Sons 🌐 English ⚖ 144 KB 👁 1 views

## Abstract We introduce a complete and cut‐free proof system for a sufficiently expressive fragment of Metric Temporal Logic over dense time domains in which a schema of induction is provable. So doing we extend results previously obtained by Montagna et al. to unbounded temporal operators. (© 200