Relational Representation Theorems for General Lattices with Negations
暂无分享,去创建一个
[1] Anna Maria Radzikowska,et al. Double Residuated Lattices and Their Applications , 2001, RelMiCS.
[2] Gerard Allwein,et al. Kripke models for linear logic , 1993, Journal of Symbolic Logic.
[3] Gary M. Hardegree,et al. Algebraic Methods in Philosophical Logic , 2001 .
[4] Anna Maria Radzikowska,et al. Lattice-Based Relation Algebras and Their Representability , 2003, Theory and Applications of Relational Structures as Knowledge Instruments.
[5] Alasdair Urquhart,et al. A topological representation theory for lattices , 1978 .
[6] Marc Roubens,et al. Theory and Applications of Relational Structures as Knowledge Instruments II, International Workshops of COST Action 274, TARSKI, 2002-2005, Selected Revised Papers , 2006, Theory and Applications of Relational Structures as Knowledge Instruments.
[7] Gunther Schmidt,et al. Relational Methods in Computer Science , 1999, Inf. Sci..
[8] J. Dunn,et al. Star and Perp: Two Treatments of Negation1 , 1993 .