The following pages link to Unified Correspondence (Q5249695):
Displayed 28 items.
- Algorithmic correspondence for intuitionistic modal mu-calculus (Q483295) (← links)
- The bounded proof property via step algebras and step frames (Q741087) (← links)
- Canonical extensions: an algebraic approach to Stone duality (Q1991594) (← links)
- Hyper-MacNeille completions of Heyting algebras (Q2062218) (← links)
- Algorithmic correspondence and canonicity for non-distributive logics (Q2273010) (← links)
- Bilattice logic properly displayed (Q2328914) (← links)
- Algebraic modal correspondence: Sahlqvist and beyond (Q2401020) (← links)
- Non-normal modal logics and conditional logics: semantic analysis and proof theory (Q2672662) (← links)
- Algorithmic correspondence for relevance logics, bunched implication logics, and relation algebras via an implementation of the algorithm \textsf{PEARL} (Q2695349) (← links)
- Categories: How I Learned to Stop Worrying and Love Two Sorts (Q2820692) (← links)
- The Category of Node-and-Choice Forms, with Subcategories for Choice-Sequence Forms and Choice-Set Forms (Q3298274) (← links)
- Tracking Information (Q3305434) (← links)
- (Q3384065) (← links)
- Probabilistic Epistemic Updates on Algebras (Q3457689) (← links)
- (Q4625704) (← links)
- Algorithmic Correspondence for Relevance Logics I. The Algorithm $$\mathsf {PEARL}$$ (Q5027233) (← links)
- Syntactic Completeness of Proper Display Calculi (Q5056369) (← links)
- (Q5109523) (← links)
- (Q5119388) (← links)
- COMPLETE ADDITIVITY AND MODAL INCOMPLETENESS (Q5241231) (← links)
- Logic and Probabilistic Update (Q5249676) (← links)
- INSTANTIAL NEIGHBOURHOOD LOGIC (Q5737964) (← links)
- Linear Logic Properly Displayed (Q5886520) (← links)
- Correspondence theory for modal Fairtlough-Mendler semantics of intuitionistic modal logic (Q6067750) (← links)
- Rough concepts (Q6081075) (← links)
- Correspondence theory for generalized modal algebras (Q6102993) (← links)
- Labelled calculi for lattice-based modal logics (Q6132565) (← links)
- Subordination algebras as semantic environment of input/output logic (Q6160753) (← links)