-
2
-
-
80054065956
-
-
3rd edn. Colloquium Publications, American Mathematical Society, Providence
-
Birkhoff, G.: Lattice Theory, 3rd edn. Colloquium Publications, vol. XXV. American Mathematical Society, Providence (1995).
-
(1995)
Lattice Theory
, vol.XXV
-
-
Birkhoff, G.1
-
3
-
-
33750536548
-
Caracterisation des algèbres de Nelson par des egalités. I, II
-
Brignole, D., Monteiro, A.: Caracterisation des algèbres de Nelson par des egalités. I, II. Proc. Japan Acad. 43, 279-283, 284-285 (1967).
-
(1967)
Proc. Japan Acad.
, vol.43
-
-
Brignole, D.1
Monteiro, A.2
-
4
-
-
26444441285
-
The class of Kleene algebras satisfying an interpolation property and Nelson algebras
-
Cignoli R.: The class of Kleene algebras satisfying an interpolation property and Nelson algebras. Algebra Universalis 23, 262-292 (1986).
-
(1986)
Algebra Universalis
, vol.23
, pp. 262-292
-
-
Cignoli, R.1
-
5
-
-
38549157560
-
The algebras of Łukasiewicz many-valued logic: A historical overview
-
Lecture Notes in Comput. Sci., Springer, Berlin
-
Cignoli, R.: The algebras of Łukasiewicz many-valued logic: A historical overview. In: Algebraic and Proof-theoretic Aspects of Non-classical Logics. Lecture Notes in Comput. Sci., vol. 4460, pp. 69-83. Springer, Berlin (2007).
-
(2007)
Algebraic and Proof-theoretic Aspects of Non-classical Logics
, vol.4460
, pp. 69-83
-
-
Cignoli, R.1
-
6
-
-
0040634308
-
On connections between information systems, rough sets, and algebraic logic
-
Banach Center Publ., Polish Acad. Sci., Warsaw
-
Comer, S. D.: On connections between information systems, rough sets, and algebraic logic. In: Algebraic Methods in Logic and in Computer Science (Warsaw, 1991). Banach Center Publ., vol. 28, pp. 117-124. Polish Acad. Sci., Warsaw (1993).
-
(1993)
Algebraic Methods in Logic and in Computer Science (Warsaw, 1991)
, vol.28
, pp. 117-124
-
-
Comer, S.D.1
-
11
-
-
9444243325
-
The ordered set of rough sets
-
Lecture Notes in Comput. Sci., Springer, Berlin
-
Järvinen, J.: The ordered set of rough sets. In: Rough Sets and Current Trends in Computing. Lecture Notes in Comput. Sci., vol. 3066, pp. 49-58. Springer, Berlin (2004).
-
(2004)
Rough Sets and Current Trends in Computing
, vol.3066
, pp. 49-58
-
-
Järvinen, J.1
-
12
-
-
38049075550
-
Lattice theory for rough sets
-
Lecture Notes in Comput. Sci., Springer, Berlin
-
Järvinen, J.: Lattice theory for rough sets. In: Transactions on Rough Sets. VI. Lecture Notes in Comput. Sci., vol. 4374, pp. 400-498. Springer, Berlin (2007).
-
(2007)
Transactions on Rough Sets. VI
, vol.4374
, pp. 400-498
-
-
Järvinen, J.1
-
13
-
-
76049101222
-
Rough sets determined by quasiorders
-
Järvinen J., Radeleczki S., Veres L.: Rough sets determined by quasiorders. Order 26, 337-355 (2009).
-
(2009)
Order
, vol.26
, pp. 337-355
-
-
Järvinen, J.1
Radeleczki, S.2
Veres, L.3
-
17
-
-
77954987479
-
Les éléments réguliers d'un N-lattice
-
Monteiro A.: Les éléments réguliers d'un N-lattice. An. Acad. Brasil. Ciênc. 52, 653-656 (1980).
-
(1980)
An. Acad. Brasil. Ciênc.
, vol.52
, pp. 653-656
-
-
Monteiro, A.1
-
18
-
-
0000425964
-
Rough set systems and logico-algebraic structures
-
E. Orłowska (Ed.), Heidelberg: Physica
-
Pagliani P.: Rough set systems and logico-algebraic structures. In: Orłowska, E (eds) Incomplete Information: Rough Set Analysis., pp. 109-190. Physica, Heidelberg (1997).
-
(1997)
Incomplete Information: Rough Set Analysis
, pp. 109-190
-
-
Pagliani, P.1
-
23
-
-
0042905516
-
Notes on N-lattices and constructive logic with strong negation
-
Vakarelov D.: Notes on N-lattices and constructive logic with strong negation. Studia Logica 36, 109-125 (1977).
-
(1977)
Studia Logica
, vol.36
, pp. 109-125
-
-
Vakarelov, D.1
-
24
-
-
0040363805
-
Fixed points in finite de Morgan algebras
-
Varlet J.: Fixed points in finite de Morgan algebras. Discrete Math. 53, 265-280 (1985).
-
(1985)
Discrete Math.
, vol.53
, pp. 265-280
-
-
Varlet, J.1
|