-
2
-
-
0002781743
-
Correspondence theory
-
D. Gabbay and F. Guenthner (Eds.), Dordrecht: Reidel
-
van Benthem, J.: Correspondence theory. In: Gabbay, D., Guenthner, F. (eds.) Handbook of Philosophical Logic, vol. II: Extensions of Classical Logic, pp. 167-247. Reidel, Dordrecht (1984).
-
(1984)
Handbook of Philosophical Logic, Vol. II: Extensions of Classical Logic
, pp. 167-247
-
-
van Benthem, J.1
-
3
-
-
0001720402
-
Rings of sets
-
Birkhoff, G.: Rings of sets. Duke Math. J. 3, 443-454 (1937).
-
(1937)
Duke Math. J.
, vol.3
, pp. 443-454
-
-
Birkhoff, G.1
-
4
-
-
0003648427
-
-
New York: Oxford Science Publications, Oxford University Press
-
Blyth, T. S., Varlet, J. C.: Ockham Algebras. Oxford Science Publications, Oxford University Press, New York (1994).
-
(1994)
Ockham Algebras
-
-
Blyth, T.S.1
Varlet, J.C.2
-
5
-
-
58149323624
-
Towards automating duality
-
Brink, C., Gabbay, D., Ohlbach, H. J.: Towards automating duality. J. Comput. Math. Appl. 29, 73-90 (1994).
-
(1994)
J. Comput. Math. Appl.
, vol.29
, pp. 73-90
-
-
Brink, C.1
Gabbay, D.2
Ohlbach, H.J.3
-
7
-
-
0038856090
-
An algebraic approach to the approximation of information
-
Comer, S. D.: An algebraic approach to the approximation of information. Fundam. Inform. 14, 492-502 (1991).
-
(1991)
Fundam. Inform.
, vol.14
, pp. 492-502
-
-
Comer, S.D.1
-
8
-
-
0008385474
-
The ABC of order and topology
-
H. Herlich and H.-E. Porst (Eds.), Berlin: Heldermann
-
Erné, M.: The ABC of order and topology. In: Herlich, H., Porst, H.-E. (eds.) Category Theory at Work, pp. 57-83. Heldermann, Berlin (1991).
-
(1991)
Category Theory at Work
, pp. 57-83
-
-
Erné, M.1
-
9
-
-
21344448799
-
Intervals in lattices of quasiorders
-
Erné, M., Reinhold, J.: Intervals in lattices of quasiorders. Order 12, 375-403 (1995).
-
(1995)
Order
, vol.12
, pp. 375-403
-
-
Erné, M.1
Reinhold, J.2
-
10
-
-
0002728866
-
On the structure of rough sets
-
Gehrke, M., Walker, E.: On the structure of rough sets. Bull. Pol. Acad. Sci., Math. 40, 235-245 (1992).
-
(1992)
Bull. Pol. Acad. Sci., Math.
, vol.40
, pp. 235-245
-
-
Gehrke, M.1
Walker, E.2
-
11
-
-
0000343385
-
Algebraic approach to rough sets
-
Iwiński, T. B.: Algebraic approach to rough sets. Bull. Pol. Acad. Sci., Math. 35, 673-683 (1987).
-
(1987)
Bull. Pol. Acad. Sci., Math.
, vol.35
, pp. 673-683
-
-
Iwiński, T.B.1
-
12
-
-
84957803991
-
Approximations and rough sets based on tolerances
-
Järvinen, J.: Approximations and rough sets based on tolerances. Lect. Notes Comput. Sci. 2005, 182-189 (2001).
-
(2001)
Lect. Notes Comput. Sci.
, vol.2005
, pp. 182-189
-
-
Järvinen, J.1
-
13
-
-
9444243325
-
The ordered set of rough sets
-
Järvinen, J.: The ordered set of rough sets. Lect. Notes Comput. Sci. 3066, 49-58 (2004).
-
(2004)
Lect. Notes Comput. Sci.
, vol.3066
, pp. 49-58
-
-
Järvinen, J.1
-
14
-
-
38049075550
-
Lattice theory for rough sets
-
Järvinen, J.: Lattice theory for rough sets. Transactions on Rough Sets VI, 400-498 (2007).
-
(2007)
Transactions on Rough Sets
, vol.VI
, pp. 400-498
-
-
Järvinen, J.1
-
15
-
-
0003144494
-
Rough sets: A tutorial
-
S. K. Pal and A. Skowron (Eds.), Singapore: Springer
-
Komorowski, J., Pawlak, Z., Polkowski, L., Skowron, A.: Rough sets: a tutorial. In: Pal, S. K., Skowron, A. (eds.) Rough Fuzzy Hybridization. A New Trend in Decision Making, pp. 3-98. Springer, Singapore (1999).
-
(1999)
Rough Fuzzy Hybridization. A New Trend in Decision Making
, pp. 3-98
-
-
Komorowski, J.1
Pawlak, Z.2
Polkowski, L.3
Skowron, A.4
-
16
-
-
37249021698
-
Representation of nondeterministic information
-
Orłowska, E., Pawlak, Z.: Representation of nondeterministic information. Theor. Comp. Sci. 29, 27-39 (1984).
-
(1984)
Theor. Comp. Sci.
, vol.29
, pp. 27-39
-
-
Orłowska, E.1
Pawlak, Z.2
-
19
-
-
0010440168
-
The Stone algebra of rough sets
-
Pomykała, J., Pomykała, J. A.: The Stone algebra of rough sets. Bull. Pol. Acad. Sci., Math. 36, 495-512 (1988).
-
(1988)
Bull. Pol. Acad. Sci., Math.
, vol.36
, pp. 495-512
-
-
Pomykała, J.1
Pomykała, J.A.2
-
20
-
-
0041632756
-
Classification systems and the decompositions of a lattice into direct products
-
Radeleczki, S.: Classification systems and the decompositions of a lattice into direct products. Miskolc Mathematical Notes 1, 145-156 (2000).
-
(2000)
Miskolc Mathematical Notes
, vol.1
, pp. 145-156
-
-
Radeleczki, S.1
-
21
-
-
0041413363
-
The direct decomposition of l-algebras into products of subdirectly irreducible factors
-
Radeleczki, S.: The direct decomposition of l-algebras into products of subdirectly irreducible factors. J. Aust. Math. Soc. 75, 41-56 (2003).
-
(2003)
J. Aust. Math. Soc.
, vol.75
, pp. 41-56
-
-
Radeleczki, S.1
-
23
-
-
51649168522
-
Normal double Stone algebras
-
Schmitt, P. H.: Normal double Stone algebras. Algebra Univers. 7, 205-209 (1977).
-
(1977)
Algebra Univers.
, vol.7
, pp. 205-209
-
-
Schmitt, P.H.1
-
24
-
-
84974103916
-
On partitioning ordered sets into cofinal subsets
-
Stone, A. H.: On partitioning ordered sets into cofinal subsets. Mathematika 15, 217-222 (1968).
-
(1968)
Mathematika
, vol.15
, pp. 217-222
-
-
Stone, A.H.1
-
25
-
-
0004034019
-
-
Johns Hopkins Series in the Mathematical Sciences, Baltimore: Johns Hopkins University Press
-
Trotter, W. T.: Combinatorics and partially ordered sets: dimension theory. Johns Hopkins Series in the Mathematical Sciences, Johns Hopkins University Press, Baltimore (1992).
-
(1992)
Combinatorics and Partially Ordered Sets: Dimension Theory
-
-
Trotter, W.T.1
|