✦ LIBER ✦

Intuitionistic logic and implicit definability

✍ Scribed by Larisa Maksimova

Publisher: Elsevier Science
Year: 2000
Tongue: English
Weight: 142 KB
Volume: 105
Category: Article
ISSN: 0168-0072
DOI: 10.1016/s0168-0072(99)00049-4

No coin nor oath required. For personal study only.

📜 SIMILAR VOLUMES

Circumscription and implicit definabilit

Circumscription and implicit definability

✍ Jon Doyle 📂 Article 📅 1985 🏛 Springer Netherlands 🌐 English ⚖ 887 KB

Permutations and implicit definability

✍ A. S. Morozov 📂 Article 📅 1988 🏛 Springer US 🌐 English ⚖ 798 KB

Knowability and intuitionistic logic

✍ David De Vidi; Graham Solomon 📂 Article 📅 2001 🏛 Springer 🌐 English ⚖ 841 KB

Embedding Classical Logic in Intuitionis

Embedding Classical Logic in Intuitionistic Logic

✍ John Myhill 📂 Article 📅 1973 🏛 John Wiley and Sons 🌐 English ⚖ 183 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 Choice and Restricted Cla

Intuitionistic Choice and Restricted Classical Logic

✍ Ulrich Kohlenbach 📂 Article 📅 2001 🏛 John Wiley and Sons 🌐 English ⚖ 133 KB