Gaggle Theory: An Abstraction of Galois Connections and Residuation with Applications to Negation, Implication, and Various Logical Operations
暂无分享,去创建一个
[1] M. Stone. The theory of representations for Boolean algebras , 1936 .
[2] R. P. Dilworth,et al. Residuated Lattices. , 1938, Proceedings of the National Academy of Sciences of the United States of America.
[3] M. Stone. Topological representations of distributive lattices and Brouwerian logics , 1938 .
[4] C. J. Everett. Closure operators and Galois theory in lattices , 1944 .
[5] A. Tarski,et al. Boolean Algebras with Operators. Part I , 1951 .
[6] A. Tarski,et al. Boolean Algebras with Operators , 1952 .
[7] E. J. Lemmon,et al. Algebraic semantics for modal logics II , 1966, Journal of Symbolic Logic.
[8] S. Maclane,et al. Categories for the Working Mathematician , 1971 .
[9] Richard Sylvan,et al. The semantics of entailment—II , 1972, Journal of Philosophical Logic.
[10] R. Meyer,et al. Algebraic analysis of entailment I , 1972 .
[11] Robert Goldblatt,et al. Semantic analysis of orthologic , 1974, J. Philos. Log..
[12] Nuel D. Belnap,et al. Entailment : the logic of relevance and necessity , 1975 .
[13] J. Lambek. The Influence of Heraclitus on Modern Mathematics , 1981 .
[14] J. Agassi,et al. Scientific Philosophy Today , 1981 .