✦ LIBER ✦

Knowability and intuitionistic logic

✍ Scribed by David De Vidi; Graham Solomon

Publisher: Springer
Year: 2001
Tongue: English
Weight: 841 KB
Volume: 28
Category: Article
ISSN: 0048-3893
DOI: 10.1007/bf02379783

No coin nor oath required. For personal study only.

📜 SIMILAR VOLUMES

Intuitionistic hybrid logic

✍ Torben Braüner; Valeria de Paiva 📂 Article 📅 2006 🏛 Elsevier Science 🌐 English ⚖ 213 KB

Partial isomorphisms and intuitionistic

Partial isomorphisms and intuitionistic logic

✍ Bernd I. Dahn 📂 Article 📅 1981 🏛 Springer Netherlands 🌐 English ⚖ 569 KB

A game for testing the equivalence of Kripke models with respect to finitary and infinitary intuitionistic predicate logic is inr and applied to discuss a concept of eategoricity for intuitionistie theories. We introduce a method-similar to Ehrenfeucht~Fraiss~-gamesfor testing whether two Kripke mo

Intuitionistic logic and implicit defina

Intuitionistic logic and implicit definability

✍ Larisa Maksimova 📂 Article 📅 2000 🏛 Elsevier Science 🌐 English ⚖ 142 KB

Embedding Classical Logic in Intuitionis

Embedding Classical Logic in Intuitionistic Logic

✍ John Myhill 📂 Article 📅 1973 🏛 John Wiley and Sons 🌐 English ⚖ 183 KB

Intuitionist logic, a logic of justifica

Intuitionist logic, a logic of justification

✍ John T. Kearns 📂 Article 📅 1978 🏛 Springer Netherlands 🌐 English ⚖ 1004 KB

Maximal weakly-intuitionistic logics

✍ A. M. Sette; Walter A. Carnielli 📂 Article 📅 1995 🏛 Springer Netherlands 🌐 English ⚖ 1017 KB