Pages that link to "Item:Q786811"
From MaRDI portal
The following pages link to Topoi. The categorial analysis of logic. Rev. ed (Q786811):
Displayed 31 items.
- A sheaf-theoretic approach to pattern matching and related problems (Q685382) (← links)
- A natural interpretation of fuzzy sets and fuzzy relations (Q698758) (← links)
- Dynamical duality of type- and token-computation as an abstract brain (Q813700) (← links)
- Finitary topos for locally finite, causal and quantal vacuum Einstein gravity (Q880980) (← links)
- Fuzzy sets and sheaves. II: Sheaf-theoretic foundations of fuzzy set theory with applications to algebra and topology (Q881819) (← links)
- GR-friendly description of quantum systems (Q928271) (← links)
- Partiality, cartesian closedness, and toposes (Q1121368) (← links)
- Categorical studies of fuzzy sets (Q1121879) (← links)
- Frame-fuzzy points and membership (Q1177690) (← links)
- Continuations in possible-world semantics (Q1178704) (← links)
- The three arrows of Zeno. Cantorian and non-Cantorian concepts of the continuum and of motion (Q1293044) (← links)
- A categorical critical-pair completion algorithm (Q1300576) (← links)
- Logics and quantum gravity (Q1345409) (← links)
- Issues in commonsense set theory (Q1346620) (← links)
- Topos theory and consistent histories: The internal logic of the set of all consistent sets (Q1357832) (← links)
- Covers for monoids. (Q1421817) (← links)
- Category theory and the foundations of mathematics: philosophical excavations. (Q1578766) (← links)
- Holography, quantum geometry, and quantum information theory (Q1612926) (← links)
- Propositional calculus under adjointness (Q1867660) (← links)
- Functional models of neurobiological processes (Q2277172) (← links)
- Quasi-apartness and neighbourhood spaces (Q2498913) (← links)
- Varieties of complex algebras (Q2641327) (← links)
- Stochastic Decision Theory (Q3415912) (← links)
- (Q4339951) (← links)
- (Q4668867) (← links)
- A topos foundation for theories of physics: I. Formal languages for physics (Q5504926) (← links)
- A topos foundation for theories of physics: II. Daseinisation and the liberation of quantum theory (Q5504927) (← links)
- A topos foundation for theories of physics: IV. Categories of systems (Q5504929) (← links)
- A topos perspective on state-vector reduction (Q5898293) (← links)
- A topos perspective on state-vector reduction (Q5920656) (← links)
- Type inference for set theory (Q5958782) (← links)