Duality and Canonical Extensions of Bounded Distributive Lattices with Operators, and Applications to the Semantics of Non-Classical Logics I
暂无分享,去创建一个
[1] Chris Brink,et al. Unification of Four Versions of Program Semantics , 1998, Formal Aspects of Computing.
[2] Robert Goldblatt,et al. Varieties of Complex Algebras , 1989, Ann. Pure Appl. Log..
[3] Brian A. Davey,et al. An Introduction to Lattices and Order , 1989 .
[4] E. J. Lemmon,et al. Algebraic semantics for modal logics II , 1966, Journal of Symbolic Logic.
[5] Saul A. Kripke,et al. Semantical Analysis of Modal Logic I Normal Modal Propositional Calculi , 1963 .
[6] Hilary A. Priestley,et al. Representation of Distributive Lattices by means of ordered Stone Spaces , 1970 .
[7] Edsger W. Dijkstra,et al. Guarded commands, nondeterminacy and formal derivation of programs , 1975, Commun. ACM.
[8] A. Tarski,et al. Boolean Algebras with Operators , 1952 .
[9] Edsger W. Dijkstra,et al. A Discipline of Programming , 1976 .
[10] J. Dunn,et al. Duality Theorems for Partial Orders, Semilattices, Galois Connections and Lattices , 1993 .
[11] R. Labrecque. The Correspondence Theory , 1978 .
[12] Viorica Sofronie-Stokkermans,et al. Automated Theorem Proving by Resolution for Finitely-Valued Logics Based on Distributive Lattices with Operators , 2001 .
[13] Paul R. Halmos,et al. Algebraic logic, I. Monadic boolean algebras , 1956 .
[14] A. Tarski,et al. Boolean Algebras with Operators. Part I , 1951 .
[15] J. Benthem. Some kinds of modal completeness , 1980 .
[16] E. J. Lemmon,et al. Algebraic semantics for modal logics I , 1966, Journal of Symbolic Logic (JSL).
[17] Chen C. Chang,et al. Model Theory: Third Edition (Dover Books On Mathematics) By C.C. Chang;H. Jerome Keisler;Mathematics , 1966 .
[18] Hilary A. Priestley,et al. Ordered Topological Spaces and the Representation of Distributive Lattices , 1972 .
[19] Stanley Burris,et al. A course in universal algebra , 1981, Graduate texts in mathematics.
[20] H. A. Lewis,et al. ENTAILMENT: The Logic of Relevance and Necessity (Volume I) , 1978 .
[21] Viorica Sofronie-Stokkermans. Duality and Canonical Extensions of Bounded Distributive Lattices with Operators, and Applications to the Semantics of Non-Classical Logics II , 2000, Stud Logica.
[22] Algebraic logic , 1985, Problem books in mathematics.
[23] Rodney G. Downey. Intervals and Sublattices of the r.e. Weak Truth Table Degrees, Part II: Nonbounding , 1989, Ann. Pure Appl. Log..
[24] Gerard Allwein,et al. Kripke models for linear logic , 1993, Journal of Symbolic Logic.