✦ LIBER ✦

Epistemic and intuitionistic formal systems

✍ Scribed by R.C. Flagg; H. Friedman

Publisher: Elsevier Science
Year: 1986
Tongue: English
Weight: 395 KB
Volume: 32
Category: Article
ISSN: 0168-0072
DOI: 10.1016/0168-0072(86)90043-6

No coin nor oath required. For personal study only.

📜 SIMILAR VOLUMES

Formal semantics of meta-level architect

Formal semantics of meta-level architectures: Temporal epistemic reflection

✍ Wiebe Van Der Hoek; John-Jules Meyer; Jan Treur 📂 Article 📅 2003 🏛 John Wiley and Sons 🌐 English ⚖ 185 KB

In this article we show how formal semantics can be given to reasoning processes in meta-level architectures that reason about (object level) knowledge states and effects changes may have on them. Especially, attention is focused on the upward and downward reflections in these architectures. Tempora

Formal systems and mental activity

✍ B. H. Kazemier 📂 Article 📅 1949 🏛 Springer Netherlands 🌐 English ⚖ 621 KB

Formal systems and mental activity

✍ B. H. Kazemier 📂 Article 📅 1956 🏛 Springer Netherlands 🌐 English ⚖ 611 KB

Intuitionistic theory of algebraic syste

Intuitionistic theory of algebraic systems and heyting-valid analysis

✍ V. A. Lyubetskii 📂 Article 📅 1991 🏛 Springer US 🌐 English ⚖ 749 KB

Monadic Elementary Formal Systems

✍ Raymond M. Smullyan 📂 Article 📅 1961 🏛 John Wiley and Sons 🌐 English ⚖ 187 KB

The reason for this proviso is that in the intended interpretation, the symbol Lr+'r stands for material implication with association to the right. Thus, e.g., Fl 4 F2 --Fa is to be read "F, implies that F2 implies Fi'

Independence results for weak systems of

Independence results for weak systems of intuitionistic arithmetic

✍ Morteza Moniri 📂 Article 📅 2003 🏛 John Wiley and Sons 🌐 English ⚖ 112 KB

## Abstract This paper proves some independence results for weak fragments of Heyting arithmetic by using Kripke models. We present a necessary condition for linear Kripke models of arithmetical theories which are closed under the negative translation and use it to show that the union of the worlds