scientific article; zbMATH DE number 3645093

zbMATH Open0415.03053MaRDI QIDQ3050433FDOQ3050433

Authors: Michael Paul Fourman, Dana Scott

Publication date: 1979

Title of this publication is not available (Why is that?)

types quotients category of sheaves internalization sheaf topoi complete Heyting algebras as generalized topologies internal reals interpretation of first-order logic interpretation of higher-order logic interpretation of logic in categories of sheaves sheaves over complete Heyting algebras

Mathematics Subject Classification ID

Categorical logic, topoi (03G30) Topoi (18B25) Topological spaces and generalizations (closure spaces, etc.) (54A05) Nonclassical models (Boolean-valued, sheaf, etc.) (03C90) Heyting algebras (lattice-theoretic aspects) (06D20)

Cited In (only showing first 100 items - show all)

Quadratic form theory over preordered von Neumann-regular rings
The World's simplest axiom of choice fails
Remarks on the tripos to topos construction: comprehension, extensionality, quotients and functional-completeness
Lindenbaum algebras of intuitionistic theories and free categories
The lack of definable witnesses and provably recursive functions in intuitionistic set theories
A natural interpretation of fuzzy sets and fuzzy relations
Monoidal closed categories, weak topoi and generalized logics
TOPOLOGY AND MODALITY: THE TOPOLOGICAL INTERPRETATION OF FIRST-ORDER MODAL LOGIC
Classifying toposes for first-order theories
Notions of computation and monads
Title not available (Why is that?)
Quantale-valued preorders: globalization and cocompleteness.
Sheaves on involutive quantales: Grothendieck quantales.
Some corollaries of the correspondence between partial metrics and multivalued equalities
The order-theoretic duality and relations between partial metrics and local equalities
Preordered sets valued in a GL-monoid
Well-foundedness in realizability
Mathematical aspects of fuzzy sets and fuzzy logic. Some reflections after 40 years
Quotients with respect to similarity relations
A non-commutative and non-idempotent theory of quantale sets
Groupoid sheaves as quantale sheaves
When does a category built on a lattice with a monoidal structure have a monoidal structure?
On principally generated quantaloid-modules in general, and skew local homeomorphisms in particular
Topoi and categories of fuzzy sets
Positive definite functions over regular f-rings and representations as sums of squares
\(\mathcal Q\)-\(*\)-categories
Universes of fuzzy sets and axiomatizations of fuzzy set theory. II: Category theoretic approaches
Fuzzy sets and sheaves. I: Basic concepts
Fuzzy sets and sheaves. II: Sheaf-theoretic foundations of fuzzy set theory with applications to algebra and topology
Global intuitionistic analysis
Sheaves as modules
Generalized algebraic theories and contextual categories
Sheaves on sites as Cauchy-complete categories
Fuzzy sets do not form a topos
A survey of fuzzy set and topos theory
Sheaf models for choice sequences
Topological aspects of non-convergent sequences -- a comment on Burgin's concept of fuzzy limits
Topological inductive definitions
Liminf convergence in \(\Omega\)-categories
Weak logic theory
The number of countable models in realizability toposes
Categories, toposes and sets
Fuzzy presubsets as non-idempotent and non-commutative classifications of subalgebras
A new model for intuitionistic analysis
Diagonals between \(\mathcal{Q}\)-distributors
Completions of cut systems in \(Q\)-sets
Isomorphisms and functors of fuzzy sets and cut systems
Proper maps of locales
Foundations of fuzzy sets
Title not available (Why is that?)
Fuzzy sets in topoi
On the collection of points of a formal space
Quasitopoi, logic and Heyting-valued models
Elementary inductive definitions in HA: From strictly positive towards monotone
Completion of L-fuzzy relations
Boolean combinations of monadic formulas
On some non-classical extensions of second-order intuitionistic propositional calculus
Quantified intuitionistic logic over metrizable spaces
Embedding sheaf models for set theory into Boolean-valued permutation models with an interior operator
Generalized logic and the representation of rings
Sheaf models and massless fields
Conceptual completeness for first-order intuitionistic logic: An application of categorical logic
Aspects of categorical recursion theory
A sheaf model for intuitionistic quantum mechanics
Is the category JTF a topos?
Monadic bounded algebras
On Tarski’s fixed point theorem
A study on the relationship between relaxed metrics and indistinguishability operators
Generalising the étale groupoid-complete pseudogroup correspondence
Quantale-valued dissimilarity
Towards a sheaf semantics for cooperating agents scenarios
Fibrations and recursivity
A semantic hierarchy for intuitionistic logic
Some connections between Heyting valued set theory and algebraic geometry. Prolegomena to intuitionistic algebraic geometry
Transfer from deducibility in the classical set theory to deducibility in intuitionistic set theory for the language of rings
The logical quantization of algebraic groups
Syntax and semantics of the logic \({\mathcal L}_{\omega\omega}^\lambda\)
Many-valued preorders. II: The symmetry axiom and probabilistic geometry
R n - and G n -logics
Some purely topological models for intuitionistic analysis
Cartesian closed varieties. I: The classification theorem
Normal Ω-subgroups
Lewisian fixed points. I: Two incomparable constructions
\( \Omega \)-groups in the language of \(\Omega \)-groupoids
Diego's theorem for nuclear implicative semilattices
Solving linear equations by fuzzy quasigroups techniques
Orthomodular-valued models for quantum set theory
Logic in category theory
Filtral pretoposes and compact Hausdorff locales
Quantum set theory: transfer principle and De Morgan's laws
The logic of approximation in quantum theory
The universe of discourse of modal logic
Title not available (Why is that?)
Neighborhood-sheaf semantics for first-order modal logic
Omega-rings
\(\Omega\)-lattices
\(E\)-fuzzy groups
L-equivalence relations on L-fuzzy sets, L-partitions of L-fuzzy sets and their one-to-one connections
A semantical proof of De Jongh's theorem
Constructive \(\lambda\)-models

This page was built for publication:

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q3050433)