Partial-Gaggles Applied to Logics with Restricted Structural Rules

[1]  M. Stone.  The theory of representations for Boolean algebras , 1936 .

[2]  M. Stone.  Topological representations of distributive lattices and Brouwerian logics , 1938 .

[3]  C. J. Everett.  Closure operators and Galois theory in lattices , 1944 .

[4]  A. Tarski,et al.  Boolean Algebras with Operators , 1952 .

[5]  J. Lambek.  The Mathematics of Sentence Structure , 1958 .

[6]  Haskell B. Curry,et al.  Foundations of Mathematical Logic , 1964 .

[7]  E. J. Lemmon,et al.  Algebraic semantics for modal logics I , 1966, Journal of Symbolic Logic (JSL).

[8]  J. Dunn,et al.  The algebra of intensional logics , 2019 .

[9]  R. Meyer,et al.  Algebraic analysis of entailment I , 1972 .

[10]  Robert Goldblatt,et al.  Semantic analysis of orthologic , 1974, J. Philos. Log..

[11]  Nuel D. Belnap,et al.  Entailment : the logic of relevance and necessity , 1975 .

[12]  Hiroakira Ono,et al.  Logics without the contraction rule , 1985, Journal of Symbolic Logic.

[13]  J. Michael Dunn,et al.  Relevance Logic and Entailment , 1986 .

[14]  Richard Routley,et al.  Relevant Logics and Their Rivals: Part 1. The Basic Philosophical and Semantical Theory , 1988 .

[15]  J. Michael Dunn,et al.  Gaggle Theory: An Abstraction of Galois Connections and Residuation with Applications to Negation, Implication, and Various Logical Operations , 1990, JELIA.

[16]  Patrick Lincoln,et al.  Linear logic , 1992, SIGA.

[17]  Kosta Dosen,et al.  A Brief Survey of Frames for the Lambek Calculus , 1992, Math. Log. Q..