On the origins of gaggle theory

• On the origins of gaggle theory

• Author(s) / Creator(s)

  • Katalin Bimbó

• The generalized Galois logic approach (i.e., gaggle theory), introduced by Dunn, provides a systematic way to define semantics for many substructural logics in the form of a relational representation of their Lindenbaum algebras. We provide an overview of some conceptual antecedents that we think that likely contributed to the creation of gaggle theory. In our reconstruction, we rely on Dunn’s publications and some materials deposited in the Archives of Indiana University, Bloomington, IN, U.S.A.

• Date created

  2022-01-01

• Subjects / Keywords

  • intuitionistic logic, Meyer–Routley semantics, modal logic, possible world semantics, relevance logic, residuation, R-mingle, tense logic

• Type of Item

  Chapter

• DOI

  https://doi.org/10.7939/r3-1663-af90

• License

  Attribution-NonCommercial-NoDerivatives 4.0 International