Pages that link to "Item:Q1151916"

The following pages link to Modal operators on Heyting algebras (Q1151916):

Displaying 32 items.

• Algebraic semantics of the \(\left\{ \rightarrow ,\square \right\} \)-fragment of propositional lax logic (Q780272) (← links)
• Truth-depressing hedges and BL-logic (Q853470) (← links)
• A characterization of nuclei in orthomodular and quantic lattices (Q1176707) (← links)
• Propositional lax logic (Q1368378) (← links)
• Mathematical modal logic: A view of its evolution (Q1422628) (← links)
• Semilattices global valuations in the topos approach to quantum mechanics (Q1701676) (← links)
• A semantic hierarchy for intuitionistic logic (Q1740610) (← links)
• Characterizing right inverses for spatial constraint systems with applications to modal logic (Q1786563) (← links)
• Adjoint maps between implicative semilattices and continuity of localic maps (Q2120440) (← links)
• Nuclear ranges in implicative semilattices (Q2131292) (← links)
• Algebraic aspects of relatively pseudocomplemented posets (Q2183094) (← links)
• When is the frame of nuclei spatial: a new approach (Q2301464) (← links)
• Physical properties as modal operators in the topos approach to quantum mechanics (Q2342695) (← links)
• An algebraic approach to subframe logics. Intuitionistic case (Q2370373) (← links)
• Regularity, fitness, and the block structure of frames (Q2502183) (← links)
• The frame of nuclei on an Alexandroff space (Q2663169) (← links)
• Three roads to complete lattices: orders, compatibility, polarity (Q2663187) (← links)
• Modal operators on commutative residuated lattices (Q3083211) (← links)
• (Q3148769) (← links)
• Deriving Inverse Operators for Modal Logic (Q3179402) (← links)
• (Q3757945) (← links)
• (Q4260331) (← links)
• Constructive theory of the lower power locale (Q4882493) (← links)
• The Evil Twin: The Basics of Complement-Toposes (Q5241534) (← links)
• Modal operators on bounded commutative residuated ℓ-monoids (Q5422706) (← links)
• Modal operators on pseudo-BE algebras (Q5858312) (← links)
• Notes on Point-Free Topology (Q5861652) (← links)
• (Q5863853) (← links)
• The regular-locally compact coreflection of a stably locally compact locale (Q5928473) (← links)
• Correspondence theory for modal Fairtlough-Mendler semantics of intuitionistic modal logic (Q6067750) (← links)
• Prelinearity in (quasi-)Nelson logic (Q6079417) (← links)
• (Q6111730) (← links)