Topoi. The categorial analysis of logic
From MaRDI portal
Publication:1139588
zbMath0434.03050MaRDI QIDQ1139588
Publication date: 1979
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
The category 𝒮hjIMSet of sheaves in MSet ⋮ Sheaves on involutive quantales: Grothendieck quantales. ⋮ Logical quantization of topos theory ⋮ Microlocal analysis of Colombeau's generalized functions on a manifold ⋮ Fuzzy topologies and topological space objects in a topos ⋮ Identical particles and the simplicial category ⋮ On superintuitionistic logics as fragments of proof logic extensions ⋮ Fuzzy topology via fuzzy geometric logic with graded consequence ⋮ Empirical sets ⋮ Protein synthesis as an object of physical and mathematical research and modeling ⋮ Relational set theory ⋮ On pushout consistency, modularity and interpolation for logical specifications ⋮ Fuzzy real numbers as Dedekind cuts with respect to a multiple-valued logic ⋮ Analogy and Its Surprises: An Eyewitness’s Reflections on the Emergence of Real Algebraic Geometry ⋮ Logic in Category Theory ⋮ The logical quantization of algebraic groups ⋮ Basic notions for fuzzy topology. I ⋮ A theory of local negation: The model and some applications ⋮ Canonical form of Tarski sets in Zermelo-Fraenkel set theory ⋮ The set-valued mapping based on ample fields ⋮ Theoretical aspects of structured-modular composition programming: Computability of the operations of the algebra of morphisms ⋮ Propositional lax logic ⋮ Logical quantization of differential geometry ⋮ Is the category JTF a topos? ⋮ Logical quantizations of first-order structures ⋮ New Algebras and Logic from a Category of Rough Sets ⋮ Empirical quantum mechanics ⋮ A categorical approach to database semantics ⋮ A reduction theorem for the Kripke-Joyal semantics: forcing over an arbitrary category can always be replaced by forcing over a complete Heyting algebra ⋮ Incompleteness in a topos ⋮ Fuzzy hypergroups based on fuzzy relations. ⋮ On the dependent product in toposes ⋮ An axiomatic characterization of the price-money message mechanism for economies with satiation ⋮ The order-theoretic duality and relations between partial metrics and local equalities ⋮ Graph rewriting and relabeling with PBPO\(^+\): a unifying theory for quasitoposes ⋮ Preordered sets valued in a GL-monoid ⋮ Toffoli gate and quantum correlations: a geometrical approach ⋮ Functional representations of semirings. ⋮ Codatatypes in ML ⋮ Universality of Logic ⋮ Unnamed Item ⋮ Semantical analysis of specification logic ⋮ PISTEMOLOGICAL CATEGORIES OF SYSTEMS: An Overview and Mathematical Formulation ⋮ Categories, toposes and sets ⋮ Ein Modell des P=NP-Problems mit einer positiven Lösung ⋮ Structural universals as structural parts: toward a general theory of parthood and composition ⋮ A survey of fuzzy set and topos theory ⋮ For a Continued Revival of the Philosophy of Mathematics ⋮ Self-correction of errors in discrete dynamic systems ⋮ Connectedness and local connectedness in fuzzy topological spaces and Heyting-algebra-valued sets ⋮ Unnamed Item ⋮ Unnamed Item ⋮ Unnamed Item ⋮ Local theory of sets as a foundation for category theory and its connection with the Zermelo-Fraenkel set theory ⋮ Relational graph rewritings ⋮ On the Modularization Theorem for logical specifications ⋮ Ground algebras for superanalysis ⋮ Unnamed Item ⋮ CATEGORICAL AXIOMS OF NEIGHBORHOOD SYSTEMS ⋮ Empirical set theory ⋮ Contextual logic for quantum systems ⋮ CATEGORY OF M-ALGEBRAS AND INTERNAL HOMOMORPHISMS ⋮ TOPOLOGY AND MODALITY: THE TOPOLOGICAL INTERPRETATION OF FIRST-ORDER MODAL LOGIC ⋮ Fuzzy sets and geometric logic ⋮ Using types as search keys in function libraries ⋮ Foundations of fuzzy sets ⋮ Principles of biological organization: local--global negotiation based on ``material cause ⋮ Complete Subobjects of Fuzzy Sets Over MV-Algebras ⋮ Multi-valued logic in graph transformation theory and self-adaptive systems ⋮ Topos-theoretic extension of a modal interpretation of quantum mechanics ⋮ Some Operators in Kripke Models with an Involution ⋮ Categorial properties of f-set theory ⋮ A note on inconsistencies caused by fixpoints in a cartesian closed category ⋮ 2008 Winter Meeting of the Association for Symbolic Logic ⋮ Concept of multiset in cybernetics ⋮ Pushout-complements and basic concepts of grammars in toposes ⋮ Neighborhood-Sheaf Semantics for First-Order Modal Logic ⋮ On constructing instants from events ⋮ Comprehensive systems: a formal foundation for multi-model consistency management ⋮ Topoi and categories of fuzzy sets ⋮ Completion of Boolean algebras in MSet ⋮ Subjective spacetime derived from a causal histories approach ⋮ Correctness of recursive parallel nondeterministic flow programs ⋮ Constructive Modalities with Provability Smack ⋮ A logical study of the correspondence relation ⋮ Some fundamental algebraic tools for the semantics of computation. I. Comma categories, colimits, signatures and theories ⋮ Correspondence as an intertheory relation ⋮ Propositional logic based on the dynamics of belief ⋮ Categories of fuzzy sets and weak topos ⋮ Monoidal closed categories, weak topoi and generalized logics ⋮ N.A. Vasil'ev's logical ideas and the categorical semantics of many-valued logic ⋮ Structuring co-constructive logic for proofs and refutations
