Categories: How I Learned to Stop Worrying and Love Two Sorts

DOI10.1007/978-3-662-52921-8_10zbMath1478.03042arXiv1604.00777OpenAlexW2342236690MaRDI QIDQ2820692

Willem Conradie, Sabine Frittella, Apostolos Tzimoulis, Michele Piazzai, Alessandra Palmigiano, Nachoem Wijnberg

Publication date: 9 September 2016

Published in: Logic, Language, Information, and Computation (Search for Journal in Brave)

Full work available at URL: https://arxiv.org/abs/1604.00777

zbMATH Keywords

formal concept analysisepistemic logiclattice-based modal logiccategorization theoryRS-frames

Mathematics Subject Classification ID

Modal logic (including the logic of norms) (03B45) Knowledge representation (68T30) Complete lattices, completions (06B23) Lattices and duality (06D50) Substructural logics (including relevance, entailment, linear logic, Lambek calculus, BCK and BCI logics) (03B47)

Related Items (18)

Linear Logic Properly Displayed ⋮ Algebraic modal correspondence: Sahlqvist and beyond ⋮ THE LOGIC OF RESOURCES AND CAPABILITIES ⋮ A non-distributive logic for semiconcepts and its modal extension with semantics based on Kripke contexts ⋮ Rough concepts ⋮ Labelled calculi for lattice-based modal logics ⋮ Labelled calculi for the logics of rough concepts ⋮ Toward a Dempster-Shafer theory of concepts ⋮ Unnamed Item ⋮ Algorithmic correspondence and canonicity for non-distributive logics ⋮ Algebraic proof theory for LE-logics ⋮ Modal reduction principles: a parametric shift to graphs ⋮ Definable operators on stable set lattices ⋮ Non-distributive description logic ⋮ Modelling socio-political competition ⋮ Canonical extensions and ultraproducts of polarities ⋮ Unnamed Item ⋮ Unnamed Item

Cites Work

• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Algorithmic correspondence and canonicity for distributive modal logic
• Algorithmic correspondence for intuitionistic modal mu-calculus
• Generalized Kripke frames
• Residuated lattices. An algebraic glimpse at substructural logics
• Unities and negation: On the representation of finite lattices
• Categorial inference and modal logic
• Four-valued logic
• Constructive canonicity for lattice-based fixed point logics
• Order-dual relational semantics for non-distributive propositional logics: a general framework
• Kripke semantics for modal substructural logics
• Topological duality and lattice expansions. II: Lattice expansions with quasioperators.
• The Logic of Public Announcements, Common Knowledge, and Private Suspicions
• Dual characterizations for finite lattices via correspondence theory for monotone modal logic
• Sahlqvist theory for impossible worlds
• Jónsson-style canonicity for ALBA-inequalities
• CANONICITY RESULTS OF SUBSTRUCTURAL AND LATTICE-BASED LOGICS
• Unified Correspondence
• Canonical extensions and relational completeness of some substructural logics
• Relational Methods in Computer Science

This page was built for publication: Categories: How I Learned to Stop Worrying and Love Two Sorts