Gaggle theory: An abstraction of galois connections and residuation, with applications to negation, implication, and various logical operators

Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)

Volumn 478 LNAI, Issue , 1991, Pages 31-51

  Michael Dunn, J ^a  

^a INDIANA UNIVERSITY   (United States)

Author keywords

[No Author keywords available]

Indexed keywords

EID: 67649442312     PISSN: 03029743     EISSN: 16113349     Source Type: Book Series    
DOI: 10.1007/bfb0018431     Document Type: Conference Paper

References (17)

1. A. R. Anderson and N. D. Belnap et al (1975), Entailment: The Logic of Relevance and Necessity, vol. 1, Princeton (Princeton University Press).
2. G. Birkhoff (1940, 1948, 1967), Lattice Theory, Providence (American Mathematical Society).
3. T. S. Blyth and M. F. Janowitz (1972), Residuation Theory, New York (Pergamon Press Inc.).
4. J. M. Dunn (1966), The Algebra of Intensional Logics. Doctoral Dissertation, University of Pittsburgh, Ann Arbor (University Microfilms). Portions relevant to this paper are reprinted in Anderson, Belnap, et al as §8 and §28.2.
5. C. J. Everett (1944), "Closure Operators and Galois Theory in Lattices," Transactions of the American Mathematical Society, 55, 514-525.
6. L. Fuchs (1963), PartiaMy-Ordered Algebraic Systems, New York (Pergamon Press Inc.).
7. R. I. Goldblatt (1974), "Semantic Analysis of Orthologic," Journal of Philosophical Logic, 3, 19-35.
8. B. Jonsson and A. Tarski (1951-52), "Boolean Algebras with Operators," American Journal of Mathematics, 73-74, 891-939, 127-162.
9. J. Lambek (1981), "The Influence of Heraclitus on Modern Mathematics," in Scientific Philosophy Today, eds. J. Agassi and R. S. Cohen, Dordrecht (D. Reidel Publishing Company).
10. E. J. Lemmon (1966), "Algebraic Semantics for Modal Logics, I and II," The Journal of Symbolic Logic, 32, 46-65,191-218.
11. S. MacLane (1971), Categories for the Working Mathematician, New York (Springer-Verlag).
12. R. K. Meyer and R. Routley (1972), "Algebraic Analysis of Entailment," Logique et Analyse, n.s. 15, 407-428.
13. O. Ore (1944), "Galois Connexions," Transactions of the American Mathematical Society, 55, 493-513.
14. R. Routley and R. K. Meyer (1972-73), "The Semantics of Entailment I" in Truth, Syntax and Modality, ed. H. Leblanc, Amsterdam (North-Holland Publishing Company), pp. 199-243.
15. M. Stone (1936), "The Theory of Representations for Boolean Algebras, Transactions of the American Mathematical Society, 40, 37-111.
16. M. Stone (1937), "Topological Representations of Distributive Lattices and Brouwerian Logics," Casopsis pro Pestovani Matematiky a Fysiky, 67, 1-25.
17. M. Ward and R. P. Dilworth (1939), "Residuated Lattices," Transactions of the American Mathematical Society, 45, 335-54.