Modal operators on Heyting algebras
From MaRDI portal
Publication:1151916
DOI10.1007/BF02483860zbMath0459.06005MaRDI QIDQ1151916
Publication date: 1981
Published in: Algebra Universalis (Search for Journal in Brave)
Complete lattices, completions (06B23) Topological spaces and generalizations (closure spaces, etc.) (54A05) Heyting algebras (lattice-theoretic aspects) (06D20) Lattice ideals, congruence relations (06B10)
Related Items
Adjoint maps between implicative semilattices and continuity of localic maps, Nuclear ranges in implicative semilattices, An algebraic approach to subframe logics. Intuitionistic case, Deriving Inverse Operators for Modal Logic, Modal operators on pseudo-BE algebras, Truth-depressing hedges and BL-logic, Propositional lax logic, The frame of nuclei on an Alexandroff space, Three roads to complete lattices: orders, compatibility, polarity, Algebraic aspects of relatively pseudocomplemented posets, Unnamed Item, Correspondence theory for modal Fairtlough-Mendler semantics of intuitionistic modal logic, Prelinearity in (quasi-)Nelson logic, Some properties of conjunctivity (subfitness) in generalized settings, Semilattices global valuations in the topos approach to quantum mechanics, Unnamed Item, Mathematical modal logic: A view of its evolution, Constructive theory of the lower power locale, A characterization of nuclei in orthomodular and quantic lattices, A semantic hierarchy for intuitionistic logic, The regular-locally compact coreflection of a stably locally compact locale, Unnamed Item, Modal operators on bounded commutative residuated ℓ-monoids, Unnamed Item, Regularity, fitness, and the block structure of frames, Characterizing right inverses for spatial constraint systems with applications to modal logic, Modal operators on commutative residuated lattices, When is the frame of nuclei spatial: a new approach, Unnamed Item, The Evil Twin: The Basics of Complement-Toposes, Algebraic semantics of the \(\left\{ \rightarrow ,\square \right\} \)-fragment of propositional lax logic, Physical properties as modal operators in the topos approach to quantum mechanics, Notes on Point-Free Topology
Cites Work
