Quasitopoi, logic and Heyting-valued models
From MaRDI portal
Publication:1078653
DOI10.1016/0022-4049(86)90077-0zbMath0597.18001MaRDI QIDQ1078653
Publication date: 1986
Published in: Journal of Pure and Applied Algebra (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.1016/0022-4049(86)90077-0
first-order logic; topos; strong topology; coarse objects; complete Heyting algebra; (E,M)-factorization; \(\sigma \) -sheaves; quasitopoi; solid quasitopos
03G30: Categorical logic, topoi
06D20: Heyting algebras (lattice-theoretic aspects)
18B25: Topoi
03C07: Basic properties of first-order languages and structures
18A15: Foundations, relations to logic and deductive systems
Related Items
Logic, sheaves, and factorization systems, Fundamentals of compositional rewriting theory, New wide classes of weakly Mal'tsev categories, A survey of fuzzy set and topos theory, Concurrency theorems for non-linear rewriting theories
Cites Work