Substitutivity principles in some theories of uncertainty

Fundamenta Informaticae

Volumn 32, Issue 2, 1997, Pages 107-120

  Chakraborty, Mihir K ^a   Orlowska, Ewa ^b  

^a UNIVERSITY OF CALCUTTA   (India)

^b Institute of Telecommunications   (Poland)

Author keywords

[No Author keywords available]

Indexed keywords

EID: 8344266722     PISSN: 01692968     EISSN: None     Source Type: Journal    
DOI: 10.3233/fi-1997-32201     Document Type: Article

References (37)

1. Banerjee, M. (1994) Ph.D. Thesis. University of Calcutta.
2. Bole, L., and Borowik, P. (1992) Many-Valued Logics 1, Theoretical Foundations. Springer-Verlag.
3. Chakraborty, M. K., and Banerjee, M. (1993) Rough logic with rough quantifiers. Bulletin of the Polish Academy of Sciences, Mathematics, Vol 14, No. 4, 305-315.
4. Chakraborty, M. K., and Banerjee, M. (1994) Saturatedness and a hierarchy of approximate indentities. International Journal on Uncertainty, Fuzziness and Knowledge-Based Systems, 429-444.
5. Delsart, B. (1992) A new approach to general E-unification based on conditional rewriting systems. Proceedings of the Third International Workshop CTRS-92, Pont a Mousson, France. Lecture Notes in Computer Science 656, Springer, 468-482.
6. Demri, S. and Orlowska, E. (1997) Logical analysis of indiscernibility. In: Orlowska, E. (ed) Incomplete Information: Rough Set Analysis. Physica-Verlag, Berlin.
7. Denecke, K. and Halkowska, H. (1994) On p-compatible hybrid identities and hyperidentities. Studia Logica 53, 493-501.
8. Fay, M. (1979) First order unification in equational theories. Proceedings of the 4th Workshop on Automated Deduction, Austin, 162-167.
9. Gallier, J. H. and Snyder, W. (1989) Complete sets of transformation for general E-unification. Theoretical Computer Science 67(2,3), 203-260.
10. Geach, P. (1967) Identity. Review of Metaphysics 21, 3-12.
11. Griffin, N. (1977) Relative Identity. Clarendon Press, Oxford.
12. Hodges, W. (1983) Elementary predicate logic. In: Gabbay, D. and Guenthner, D. (eds) Handbook of Philosophical Logic, vol. 1, Reidel, Dordrecht.
13. Jacas J., (1988) On the generators of T-indinguishability operator. Stochastica XII No 1, 49-63.
14. Krynicki, M. and Szczerba, L. (1997) On a logic with rough quantifier. In: Orlowska, E. (ed) Incomplete Information: Rough Set Analysis. Physica-Verlag, Berlin.
15. Krynicki, M. and Tuschik, H. P. (1991) An axiomatisation of the logic with the rough quantifier. Journal of Symbolic Logic 56, 608-617.
16. Lissowska-Wojtowicz., A. (1997) Some philosophical aspects of indiscernibility. In: Orlowska, E. (ed) Incomplete Information: Rough Set Analysis. Physica-Verlag, Berlin.
17. Mendelson, E. (1979) Introduction to Mathematical Logic. D. Van Nostrand Co., New York.
18. Morgan, Ch. (1974) A theory of equality for a class of many-valued predicate calculi. Zeitschrift fuer Mathematische Logik und Grundlagen der Mathematik 20, 427-432.
19. Morgan, Ch. (1975) Similarity as a theory of graded equality for a class of many-valued predicate calculi. Proceedings of the International Symposium on Multiple-Valued Logic, 436-449.
20. Noonan, H. W. (1980) Objects and Identity. An Examination of the Relative Identity Thesis and its Consequences. Nijhoff, the Hague.
21. Novak, V. (1986) Fuzzy Sets and their Applications, Adam Hilger, Bristol and Philadelphia.
22. Orlowska, E. (1983) Semantics of vague concepts. In: Dorn, G. and Weigartner, P. (eds) Foundations of Logic and Linguistics. Problems and Solutions. Selected contributions to the 7th International Congress of Logic, Methodology and Philosophy of Science, Salzburg 1993. Plenum Press, 465-482.
23. Orlowska, E. (1985) Logic of indiscernibility relations. Lecture Notes in Computer Science 208, Springer, 177-186.
24. Parker - Rhodes, A. F. (1981) The Theory of Indistinguishables. Synthese Library vol. 150, Reidel, Dordrecht.
25. Pelletier, F. J. (1993) Identity in modal logic theorem proving. Studia Logica 52, 291-308.
26. Perrick, M. and de Swart, H. (1995) Quantified modal logic, reference and essentialism. Logique et Analyse 142-143.
27. Pomykala, J. A. (1988) On definability in the nondeterministic information system. Bulletin of the Polish Academy of Sciences, Mathematics, vol. 36, 193-210.
28. Pultr A., (1984) Fuzziness and fuzzy equality. In: Skala., Termini, Trillas (eds) Aspects of vagueness. Reidel, Dordrecht, 119-135.
29. Quine, W. V. (1961) Identity, ostension and hypostasis. In: From a Logical Point of View. Harper and Row, New York.
30. Quine, W. V. (1979) Philosophy of Logic. Prentice Hall of India, Pvt Ltd. New Delhi.
31. Suszko, R. (1971) Identity connective and modality. Studia Logica XXVII, 7-33.
32. Szczerba, L. (1987) Rough quantifiers. Bulletin of the Polish Academy of Sciences, Mathematics, vol. 35, 251-254.
33. Szczerba, L. (1987) Rough quantifiers have no Tarski property. Bulletin of the Polish Academy of Sciences, Mathematics, vol. 35, 663-665.
34. Valverde, (1985) On the structure of F-indinguishability operators. Fuzzy Sets and Systems 17, 313-328.
35. Weingartner, P. (1974) On the characterisation of entities by means of individuals and properties. Journal of Philosophical Logic 3, 323-336.
36. Wiggins, D. (1980) Sameness and Substance. Blackwells, Oxford.
37. Wyler O., (1991) Lecture Notes on Topoi and Quasitopoi. World Scientific, Singapore.