Gabriel topologies on coherent quantales

DOI10.1016/S0022-4049(96)00150-8zbMath0929.18003MaRDI QIDQ1295504

Panagis Karazeris

Publication date: 31 January 2000

Published in: Journal of Pure and Applied Algebra (Search for Journal in Brave)

zbMATH Keywords

substructural logiccompleteness theoremquantaleslocal compactnessGabriel topologyring theoretic spectrum

Mathematics Subject Classification ID

Other algebras related to logic (03G25) Ordered semigroups and monoids (06F05) Topological and ordered rings and modules (16W80) Preorders, orders, domains and lattices (viewed as categories) (18B35)

Cites Work

• The semiring of topologizing filters of a ring
• Spectra of monoidal-lattices
• The logic of inexact concepts
• Logics without the contraction rule
• A general approach to gabriel filters on quantales
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item

This page was built for publication: Gabriel topologies on coherent quantales