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

@inproceedings{Conradie2016CategoriesHI,
  title={Categories: How I Learned to Stop Worrying and Love Two Sorts},
  author={Willem Conradie and Sabine Frittella and Alessandra Palmigiano and Michele Piazzai and Apostolos Tzimoulis and Nachoem M. Wijnberg},
  booktitle={WoLLIC},
  year={2016}
}
RS-frames were introduced by Gehrke as relational semantics for substructural logics. They are two-sorted structures, based on RS-polarities with additional relations used to interpret modalities. We propose an intuitive, epistemic interpretation of RS-frames for modal logic, in terms of categorization systems and agents' subjective interpretations of these systems. Categorization systems are a key to any decision-making process and are widely studied in the social and management sciences. A… 
Logical foundations of categorization theory Lecture 5
In this lecture, based on [7, Section 4], we discuss possible interpretations of the basic normal modal logic of categories, and related to this, some of its axiomatic extensions, and
Algorithmic Correspondence and Canonicity for Possibility Semantics (Abstract)
TLDR
A uniform and modular theory which subsumes the above results and extends them to logics with a non-classical propositional base has emerged, and has been dubbed unified correspondence.
Reconciliation of Approaches to the Semantics of Logics without Distribution
TLDR
It is shown that, despite rejecting the additional frame restrictions, all the main ideas and results of the RS-frames approach relating to the semantics of non-distributive logics are captured in this simpler framework.
Toward an Epistemic-Logical Theory of Categorization
TLDR
This paper introduces a sound and complete epistemic logic of categories and agents' categorical perception and proposes logic-based formalizations of some core concepts from psychological, sociological, and organizational research in categorization theory.
Sahlqvist theory for impossible worlds
TLDR
Unified correspondence theory is extended to Kripke frames with impossible worlds and their associated regular modal logics and it is shown that additivity and multiplicativity turn out to be key to extend Jonsson’s original proof of canonicity to the full Sahlqvist class of certain regular distributives naturally generalizing distributive modal logic.
A non-distributive logic for semiconcepts of a context and its modal extension with semantics based on Kripke contexts
TLDR
A non-distributive two-sorted hypersequent calculus PDBL and its modal extension MPDBL are proposed for the classes of pure double Boolean algebras and puredouble Boolean algeses with operators respectively and it is demonstrated that, using PDBL, the basic notions and relations of conceptual knowledge can be expressed and inferences involving negations can be obtained.
THE LOGIC OF RESOURCES AND CAPABILITIES
TLDR
A number of properties enjoyed by LRC (soundness, completeness, canonicity, and disjunction property) and its associated analytic calculus (conservativity, cut elimination, and subformula property) are proved.
Compatibility and accessibility: lattice representation for semantics of non-classical and modal logics
TLDR
The three representations of lattices by means of a set with a binary relation of compatibility in the tradition of Ploˇsˇcica generalize possibility semantics for classical modal logics to non-classical modalLogics, motivated by a recent application of modal orthologic to natural language semantics.
Unified Correspondence as a Proof-Theoretic Tool
TLDR
The present paper aims at establishing formal connections between correspondence phenomena, well known from the area of modal logic, and the theory of display calculi, originated by Belnap, and applies unified correspondence theory, with its tools and insights, to extend Kracht's results and prove his claims in the setting of DLE-logics.
Algorithmic Correspondence , Canonicity and Completeness for Possibility Semantics
TLDR
The present paper aims at giving a closer look at the aforementioned unsolved problems using the algebraic and order-theoretic insights from a current ongoing research project, namely unified correspondence.
...
...

References

SHOWING 1-10 OF 43 REFERENCES
Modal and temporal extensions of non-distributive propositional logics
TLDR
It is established that the absence of a distributivity assumption of conjunctions over disjunctions and conversely has no effect on the interpretation of boxes and diamonds, which are interpreted exactly as in classical normal modal logics.
Sahlqvist theory for impossible worlds
TLDR
Unified correspondence theory is extended to Kripke frames with impossible worlds and their associated regular modal logics and it is shown that additivity and multiplicativity turn out to be key to extend Jonsson’s original proof of canonicity to the full Sahlqvist class of certain regular distributives naturally generalizing distributive modal logic.
The Logic of Public Announcements and Common Knowledge and Private Suspicions
TLDR
This paper presents a logical system in which various group-level epistemic actions are incorporated into the object language and contains the infinitary operators used in the standard modeling of common knowledge.
Generalized Kripke Frames
TLDR
A new type of frames is introduced, which generalize Kripke structures but are two-sorted, containing both worlds and co-worlds, and a purely model theoretic and uniform account of completeness for the implication-fusion fragment of various substructural logics is given.
Gaggle Theory: An Abstraction of Galois Connections and Residuation with Applications to Negation, Implication, and Various Logical Operations
TLDR
Routine definitions from lattice theory ("prime filter," "prime ideal," etc.) are to be found in Birkhoff (1967).
Categorial Inference and Modal Logic
  • N. Kurtonina
  • Philosophy, Computer Science
    J. Log. Lang. Inf.
  • 1998
TLDR
The embedding theorems for non-associative Lambek Calculus and the whole class of its weak Sahlqvist extensions demonstrate that various resource sensitive regimes can be modelled within the framework of unimodal temporal logic.
Residuated lattices: An algebraic glimpse at sub-structural logics
TLDR
This book considers both the algebraic and logical perspective within a common framework, and shows how proof theoretical methods like cut elimination are preferable for small logics/theories, but semantic tools like Rabin's theorem work better for big ones.
Canonicity and Relativized Canonicity via Pseudo-Correspondence: an Application of ALBA
TLDR
This work defines a suitable enhancement of the algorithm ALBA, which is used to prove the canonicity of certain syntactically defined classes of DLE-inequalities (called the meta-inductive inequalities), relative to the structures in which the formulas asserting the additivity of some given terms are valid.
Order-Dual Relational Semantics for Non-distributive Propositional Logics: A General Framework
TLDR
This paper provides a systematically specified and intuitive interpretation pattern and delineates a class of relational structures and models providing a natural interpretation of logical operators on an underlying propositional calculus of Positive Lattice Logic and proves a generic completeness theorem for the related class of logics.
...
...