Topoi. The categorial analysis of logic. Rev. ed
From MaRDI portal
Publication:786811
zbMath0528.03039MaRDI QIDQ786811
Publication date: 1984
Published in: Studies in Logic and the Foundations of Mathematics (Search for Journal in Brave)
Introductory exposition (textbooks, tutorial papers, etc.) pertaining to mathematical logic and foundations (03-01) Research exposition (monographs, survey articles) pertaining to mathematical logic and foundations (03-02) Categorical logic, topoi (03G30) Topoi (18B25) Intuitionistic mathematics (03F55) Research exposition (monographs, survey articles) pertaining to category theory (18-02) Introductory exposition (textbooks, tutorial papers, etc.) pertaining to category theory (18-01)
Related Items
Holography, quantum geometry, and quantum information theory ⋮ The future of mathematics in economics: a philosophically grounded proposal ⋮ Unnamed Item ⋮ Logics and quantum gravity ⋮ Issues in commonsense set theory ⋮ Functional sorts in data type specifications ⋮ Topos theory and consistent histories: The internal logic of the set of all consistent sets ⋮ Varieties of complex algebras ⋮ Topos models for physics and topos theory ⋮ Partiality, cartesian closedness, and toposes ⋮ Categorical studies of fuzzy sets ⋮ Finitary topos for locally finite, causal and quantal vacuum Einstein gravity ⋮ Fuzzy sets and sheaves. II: Sheaf-theoretic foundations of fuzzy set theory with applications to algebra and topology ⋮ Bohrification of operator algebras and quantum logic ⋮ A categorial semantic representation of quantum event structures ⋮ Equivalence proof for intuitionistic existential alpha graphs ⋮ Single Pushout Rewriting in Comprehensive Systems ⋮ Dynamical conflict models. I. Language of modeling ⋮ Unnamed Item ⋮ From (Paraconsistent) Topos Logic to Universal (Topos) Logic ⋮ A comparison of two topos-theoretic approaches to quantum theory ⋮ Quotient toposes of discrete dynamical systems ⋮ Husserl, Intentionality and Mathematics: Geometry and Category Theory ⋮ Iterated \(S^3\) Sasaki joins and Bott orbifolds ⋮ Local causation ⋮ How to delete categorically -- two pushout complement constructions ⋮ A categorical framework for the transformation of object-oriented systems: models and data ⋮ Contextual semantics in quantum mechanics from a categorical point of view ⋮ Covers for monoids. ⋮ Two subcategories of apartness spaces ⋮ GR-friendly description of quantum systems ⋮ Frame-fuzzy points and membership ⋮ Continuations in possible-world semantics ⋮ Group action in topos quantum physics ⋮ A semantic hierarchy for intuitionistic logic ⋮ A topos perspective on state-vector reduction ⋮ A sheaf-theoretic approach to pattern matching and related problems ⋮ A non-commutative and non-idempotent theory of quantale sets ⋮ Fuzzy presubsets as non-idempotent and non-commutative classifications of subalgebras ⋮ A natural interpretation of fuzzy sets and fuzzy relations ⋮ A topos perspective on state-vector reduction ⋮ Abduction: a categorical characterization ⋮ Quasi-apartness and neighbourhood spaces ⋮ Functional models of neurobiological processes ⋮ Type inference for set theory ⋮ Intuitionistic quantum logic of an \(n\)-level system ⋮ Topos Quantum Logic and Mixed States ⋮ Convenient categories of smooth spaces ⋮ Univalent Foundations of Mathematics and Paraconsistency ⋮ The Evil Twin: The Basics of Complement-Toposes ⋮ Exploring mathematical objects from custom-tailored mathematical universes ⋮ Unnamed Item ⋮ Van Kampen Colimits and Path Uniqueness ⋮ Category theory and the foundations of mathematics: philosophical excavations. ⋮ Stochastic Decision Theory ⋮ The three arrows of Zeno. Cantorian and non-Cantorian concepts of the continuum and of motion ⋮ A topos for algebraic quantum theory ⋮ A topos formulation of history quantum theory ⋮ A topos foundation for theories of physics: I. Formal languages for physics ⋮ A topos foundation for theories of physics: II. Daseinisation and the liberation of quantum theory ⋮ A topos foundation for theories of physics: IV. Categories of systems ⋮ A categorical critical-pair completion algorithm ⋮ Classical and quantum probabilities as truth values ⋮ Fibred amalgamation, descent data, and Van Kampen squares in topoi ⋮ Propositional calculus under adjointness ⋮ Dynamical duality of type- and token-computation as an abstract brain ⋮ Idempotent variations on the theme of exclusive disjunction
This page was built for publication: Topoi. The categorial analysis of logic. Rev. ed
