-
1
-
-
0000024664
-
Kripke models for linear logic
-
Allwein, G. and Dunn, M. (1993). Kripke models for linear logic, Journal of Symbolic Logic 58(2), 514-545.
-
(1993)
Journal of Symbolic Logic
, vol.58
, Issue.2
, pp. 514-545
-
-
Allwein, G.1
Dunn, M.2
-
2
-
-
0346308221
-
Cancellative residuated lattices
-
Bahls, P., Cole, J., Galatos, N., Jipsen, P., Tsinakis, C. (2003). Cancellative residuated lattices, Algebra Universalis 50(1), 83-106.
-
(2003)
Algebra Universalis
, vol.50
, Issue.1
, pp. 83-106
-
-
Bahls, P.1
Cole, J.2
Galatos, N.3
Jipsen, P.4
Tsinakis, C.5
-
4
-
-
0347569529
-
The structure of residuated lattices
-
Blount, K. and Tsinakis, C. (2003). The structure of residuated lattices. Int. J. of Algebra Comput. 13(4), 437-461.
-
(2003)
Int. J. of Algebra Comput.
, vol.13
, Issue.4
, pp. 437-461
-
-
Blount, K.1
Tsinakis, C.2
-
6
-
-
4244025335
-
Indiscernibility and complementarity relations in information systems
-
Gerbrandy, J., Marx, M., de Rijke, M., and Venema, Y. (eds), Amsterdam University Press
-
Demri, S., Orlowska, E., and Vakarelov, D. (1999). Indiscernibility and complementarity relations in information systems, JFAK, Essays Dedicated to Johan van Benthem on the Occasion of his 50th Birthday, Gerbrandy, J., Marx, M., de Rijke, M., and Venema, Y. (eds), Amsterdam University Press.
-
(1999)
JFAK, Essays Dedicated to Johan van Benthem on the Occasion of his 50th Birthday
-
-
Demri, S.1
Orlowska, E.2
Vakarelov, D.3
-
7
-
-
33745804175
-
Incomplete information: Structure, inference, complexity
-
Springer-Verlag
-
Demri, S. and Orlowska, E. (2002). Incomplete Information: Structure, Inference, Complexity, EATCS Monographs in Theoretical Computer Science, Springer-Verlag.
-
(2002)
EATCS Monographs in Theoretical Computer Science
-
-
Demri, S.1
Orlowska, E.2
-
10
-
-
0034344082
-
Logics of complementarity in information systems
-
Düntsch, I. and Orlowska, E. (2000). Logics of complementarity in information systems, Mathematical Logic Quarterly 46, 267-288.
-
(2000)
Mathematical Logic Quarterly
, vol.46
, pp. 267-288
-
-
Düntsch, I.1
Orlowska, E.2
-
11
-
-
0003628125
-
Beyond modalities: Sufficiency and mixed algebras
-
Orlowska, E. and Szalas, A. (eds), Physica Verlag, Heidelberg
-
Düntsch, I. and Orlowska, E. (2000). Beyond modalities: sufficiency and mixed algebras, in: Relational Methods for Computer Science Applications, Orlowska, E. and Szalas, A. (eds), Physica Verlag, Heidelberg, 263-285.
-
(2000)
Relational Methods for Computer Science Applications
, pp. 263-285
-
-
Düntsch, I.1
Orlowska, E.2
-
12
-
-
84867774754
-
-
Private communication
-
Düntsch, I. (2003). Private communication.
-
(2003)
-
-
Düntsch, I.1
-
13
-
-
0026257988
-
Many-valued modal logics
-
Fitting, M. (1991). Many-valued modal logics, Fundamenta Informaticae 15, 235-254.
-
(1991)
Fundamenta Informaticae
, vol.15
, pp. 235-254
-
-
Fitting, M.1
-
14
-
-
0003374233
-
Many-valued modal logics (II)
-
Fitting, M. (1992). Many-valued modal logics (II), Fundamenta Informaticae 17, 55-73.
-
(1992)
Fundamenta Informaticae
, vol.17
, pp. 55-73
-
-
Fitting, M.1
-
15
-
-
0037810539
-
On a class of residuated semilattice monoids
-
Flondor, P. and Sularia, M. (2003). On a class of residuated semilattice monoids, Fuzzy Sets and Systems 138(1), 149-176.
-
(2003)
Fuzzy Sets and Systems
, vol.138
, Issue.1
, pp. 149-176
-
-
Flondor, P.1
Sularia, M.2
-
17
-
-
0013382938
-
A fuzzy modal logic for similarity reasoning
-
Chen G., Ying M., and Cai K.-Y. (eds), Kluwer
-
Godo, L. and Rodriguez, R. O. (1999). A Fuzzy Modal Logic for Similarity Reasoning, in: Fuzzy Logic and Soft Computing, Chen G., Ying M., and Cai K.-Y. (eds), Kluwer, 33-48.
-
(1999)
Fuzzy Logic and Soft Computing
, pp. 33-48
-
-
Godo, L.1
Rodriguez, R.O.2
-
20
-
-
0041864063
-
Fuzzy logics with noncommutative conjunctions
-
Hajek, P. (2003). Fuzzy Logics with Noncommutative Conjunctions, Journal of Logic and Computation 13(4), 469-479.
-
(2003)
Journal of Logic and Computation
, vol.13
, Issue.4
, pp. 469-479
-
-
Hajek, P.1
-
21
-
-
0036695519
-
The structure of commutative residuated lattices
-
Hart, J. B., Rafter, L., and Tsinakis, C. (2002). The structure of commutative residuated lattices, Int. J. Algebra Comput. 12(4), 509-524.
-
(2002)
Int. J. Algebra Comput.
, vol.12
, Issue.4
, pp. 509-524
-
-
Hart, J.B.1
Rafter, L.2
Tsinakis, C.3
-
22
-
-
0142205490
-
A survey of residuated lattices
-
Martinez, J. (ed), Kluwer Academic Publishers, Dordrecht
-
Jipsen, P. and Tsinaksis, C. (2002). A Survey of Residuated Lattices, in: Ordered Algebraic Structures, Martinez, J. (ed), Kluwer Academic Publishers, Dordrecht, 19-56.
-
(2002)
Ordered Algebraic Structures
, pp. 19-56
-
-
Jipsen, P.1
Tsinaksis, C.2
-
25
-
-
0003512921
-
Kripke models with relative accessibility and their application to inferences from incomplete information
-
Mirkowska, G. and Rasiowa, H. (eds), Banach Center Publications 21
-
Orlowska, E. (1988). Kripke models with relative accessibility and their application to inferences from incomplete information, in: Mathematical Problems in Computation Theory, Mirkowska, G. and Rasiowa, H. (eds), Banach Center Publications 21, 329-339.
-
(1988)
Mathematical Problems in Computation Theory
, pp. 329-339
-
-
Orlowska, E.1
-
26
-
-
0003325786
-
Incomplete information - Rough set analysis
-
Springer-Verlag
-
Orlowska, E. (ed) (1998). Incomplete Information - Rough Set Analysis, Studies in Fuzziness and Soft Computing, Springer-Verlag.
-
(1998)
Studies in Fuzziness and Soft Computing
-
-
Orlowska, E.1
-
27
-
-
0003524548
-
Multi-valuedness and uncertainty
-
Orlowska, E. (1999). Multi-valuedness and uncertainty, Multiple-Valued Logics 4, 207-227.
-
(1999)
Multiple-valued Logics
, vol.4
, pp. 207-227
-
-
Orlowska, E.1
-
28
-
-
0012151643
-
Information relations and operators based on double residuated lattices
-
Oisterwijk, The Netherlands
-
Orlowska, E. and Radzikowska, A. M. (2001). Information relations and operators based on double residuated lattices, in: Proceedings of 6th International Workshop on Relational Methods in Computer Science RelMiCS-2001, Oisterwijk, The Netherlands, 185-199.
-
(2001)
Proceedings of 6th International Workshop on Relational Methods in Computer Science RelMiCS-2001
, pp. 185-199
-
-
Orlowska, E.1
Radzikowska, A.M.2
-
29
-
-
84947254825
-
Double residuated lattices and their applications
-
de Swart, H. C. M. (ed), Lecture Notes in Computer Science 2561, Springer-Verlag, Heidelberg
-
Orlowska, E. and Radzikowska, A. M. (2002). Double residuated lattices and their applications, in: Relational Methods in Computer Science, de Swart, H. C. M. (ed), Lecture Notes in Computer Science 2561, Springer-Verlag, Heidelberg, 171-189.
-
(2002)
Relational Methods in Computer Science
, pp. 171-189
-
-
Orlowska, E.1
Radzikowska, A.M.2
-
31
-
-
17444371060
-
Towards studying of fuzzy information relations
-
Leicester, UK
-
Radzikowska, A. M. and Kerre, E. E. (2001). Towards studying of fuzzy information relations, in: Proceedings of International Conference in Fuzzy Logics and Technology EUSFLAT-2001, Leicester, UK, 365-369.
-
(2001)
Proceedings of International Conference in Fuzzy Logics and Technology EUSFLAT-2001
, pp. 365-369
-
-
Radzikowska, A.M.1
Kerre, E.E.2
-
33
-
-
17444384342
-
A fuzzy generalisation of information relations
-
Orlowska, E. and Fitting, M. (eds), Springer-Velag
-
Radzikowska, A. M. and Kerre, E. E. (2002). A fuzzy generalisation of information relations, in: Beyond Two: Theory and Applications of Multiple-Valued Logics, Orlowska, E. and Fitting, M. (eds), Springer-Velag, 264-290.
-
(2002)
Beyond Two: Theory and Applications of Multiple-valued Logics
, pp. 264-290
-
-
Radzikowska, A.M.1
Kerre, E.E.2
-
35
-
-
11144290739
-
An algebraic characterisation of fuzzy rough sets
-
Budapest, Hungary
-
Radzikowska, A. M. and Kerre, E. E. (2004). An algebraic characterisation of fuzzy rough sets, in: Proceedings of IEEE International Conference on Fuzzy Systems FUZZ-IEEE 2004, Budapest, Hungary, vol.1, 115-120.
-
(2004)
Proceedings of IEEE International Conference on Fuzzy Systems FUZZ-IEEE 2004
, vol.1
, pp. 115-120
-
-
Radzikowska, A.M.1
Kerre, E.E.2
-
36
-
-
33746217828
-
Lattice-based fuzzy information relations and operators
-
De Baets, B., De Caluve, R., Kacprzyk, J., De Tre, G., and Zadrozny, S. (eds), EXIT, Warsaw
-
Radzikowska, A. M. and Kerre, E. E. (2004). Lattice-based fuzzy information relations and operators, in: Current Issues in Data and Knowledge Engineering, De Baets, B., De Caluve, R., Kacprzyk, J., De Tre, G., and Zadrozny, S. (eds), EXIT, Warsaw, 433-443.
-
(2004)
Current Issues in Data and Knowledge Engineering
, pp. 433-443
-
-
Radzikowska, A.M.1
Kerre, E.E.2
-
37
-
-
33646256658
-
Fuzzy rough sets based on residuated lattices
-
Peters, J. F., Skowron, A., Dubois. D., Grzymala-Busse, J. W., Inuiguchi, M., and Polkowski, L. (eds), Lecture Notes in Computer Science Springer-Verlag
-
Radzikowska, A. M. and Kerre, E. E. (2004). Fuzzy Rough Sets based on Residuated Lattices, in: Transactions on Rough Sets II: Rough Sets and Fuzzy Sets, Peters, J. F., Skowron, A., Dubois. D., Grzymala-Busse, J. W., Inuiguchi, M., and Polkowski, L. (eds), Lecture Notes in Computer Science 3135, Springer-Verlag, 278-296.
-
(2004)
Transactions on Rough Sets II: Rough Sets and Fuzzy Sets
, vol.3135
, pp. 278-296
-
-
Radzikowska, A.M.1
Kerre, E.E.2
-
38
-
-
17444410797
-
Characterisations of main classes of fuzzy relations using fuzzy modal operators
-
Radzikowska, A. M. and Kerre, E. E. (2005). Characterisations of main classes of fuzzy relations using fuzzy modal operators, Fuzzy Sets and Systems 152(2), 223-247.
-
(2005)
Fuzzy Sets and Systems
, vol.152
, Issue.2
, pp. 223-247
-
-
Radzikowska, A.M.1
Kerre, E.E.2
-
40
-
-
0004470935
-
Semi-Boolean algebras and their applications to intuitionistic logic with dual operations
-
Rauszer, C. (1974). Semi-Boolean algebras and their applications to intuitionistic logic with dual operations, Fundamenta Mathematicae 83, 219-249.
-
(1974)
Fundamenta Mathematicae
, vol.83
, pp. 219-249
-
-
Rauszer, C.1
|