Toposes in Logic and Logic in Toposes

[Lecture Notes in Mathematics] Toposes,

[Lecture Notes in Mathematics] Toposes, Algebraic Geometry and Logic Volume 274 || Deductive systems and categories III. Cartesian closed categories, intuitionist propositional calculus, and combinatory logic

✍ Bucur, I.; Giraud, J.; Goodman, N.; Myhill, J.; Illusie, L.; Lambek, J.; Scott, 📂 Article 📅 1972 🏛 Springer Berlin Heidelberg ⚖ 837 KB

[Lecture Notes in Mathematics] Toposes,

[Lecture Notes in Mathematics] Toposes, Algebraic Geometry and Logic Volume 274 || Deductive systems and categories III. Cartesian closed categories, intuitionist propositional calculus, and combinatory logic

✍ Bucur, I.; Giraud, J.; Goodman, N.; Myhill, J.; Illusie, L.; Lambek, J.; Scott, 📂 Article 📅 1972 🏛 Springer Berlin Heidelberg ⚖ 837 KB

Fuzzy sets and toposes—Towards higher or

Fuzzy sets and toposes—Towards higher order fuzzy logic

✍ Ian Graham 📂 Article 📅 1987 🏛 Elsevier Science 🌐 English ⚖ 652 KB

Local Realizability Toposes and a Modal

Local Realizability Toposes and a Modal Logic for Computability: (Extended Abstract)

✍ Steven Awodey; Lars Birkedal; Dana S. Scott 📂 Article 📅 1999 🏛 Elsevier Science 🌐 English ⚖ 718 KB

This work is a step toward developing a logic for types and computation that includes both the usual spaces of mathematics and constructions and spaces from logic and domain theory. Using realizability, w e i n vestigate a con guration of three toposes, which w e regard as describing a notion of rel

Well-ordering and choice in toposes

✍ Mawanda Mbila-Mambu 📂 Article 📅 1988 🏛 Elsevier Science 🌐 English ⚖ 752 KB

The Skolem-Löwenheim theorem in toposes

✍ Marek Zawadowski 📂 Article 📅 1983 🏛 Springer Netherlands 🌐 English ⚖ 948 KB