✦ LIBER ✦

The topological models of intuitionistic anlaysis. One counterexample

✍ Scribed by M. D. Krol'

Book ID: 105094494
Publisher: SP MAIK Nauka/Interperiodica
Year: 1976
Tongue: English
Weight: 150 KB
Volume: 19
Category: Article
ISSN: 0001-4346
DOI: 10.1007/bf01149927

No coin nor oath required. For personal study only.

📜 SIMILAR VOLUMES

A Topological Model for Troelstra's Syst

A Topological Model for Troelstra's System CS of Intuitionistic Analysis

✍ Konrad Schultz 📂 Article 📅 1980 🏛 John Wiley and Sons 🌐 English ⚖ 395 KB

The classical topological model for intuitionistic predicate logic was extended by SCOTT [Ti] and J. R. MOSCHOVAKIS [3] to intuitionistic analysis. This intuitionistic analysis includes a strong version of Kripke's schema and is thus different from TROELSTRA's system C s [6]. I n this paper we will

On the Finite Model Property of Intuitio

On the Finite Model Property of Intuitionistic Modal Logics over MIPC

✍ Takahito Aoto; Hiroyuki Shirasu 📂 Article 📅 1999 🏛 John Wiley and Sons 🌐 English ⚖ 816 KB

A Counterexample in the Theory of Model

A Counterexample in the Theory of Model Companions

✍ D. Saracino 📂 Article 📅 1975 🏛 Association for Symbolic Logic 🌐 English ⚖ 596 KB

On the topological social choice model

✍ Shmuel Weinberger 📂 Article 📅 2004 🏛 Elsevier Science 🌐 English ⚖ 204 KB

Using the Topological Characterization o

Using the Topological Characterization of Synchronous Models

✍ Giovanni Adagio 📂 Article 📅 2003 🏛 Elsevier Science 🌐 English ⚖ 231 KB

On a topological model for the category

On a topological model for the category of fuzzy topological spaces III

✍ Mehmet Sait Eroǧlu 📂 Article 📅 1989 🏛 Elsevier Science 🌐 English ⚖ 632 KB