Substitutivity Principles in Some Theories of Uncertainty

A semantics of identity inspired by rough set modeling of uncertainty is proposed and the underlying substitutivity principles are presented. A survey of some theories of identity is given, in particular, an interpretation of identity in E-unification theory, some many-valued logics and some algebraic theories.

[1]  Wayne Snyder,et al.  Complete Sets of Transformations for General E-Unification , 1989, Theor. Comput. Sci..

[2]  J. A. Pomykala,et al.  On definability in the nondeterministic information system , 1988 .

[3]  Paul Weingartner.  On the characterization of entities by means of individuals and properties , 1974, J. Philos. Log..

[4]  Bertrand Delsart,et al.  A New Approach to General E-Unification Based on Conditional Rewriting Systems , 1992, CTRS.

[5]  Francis Jeffry Pelletier.  Identity in modal logic theorem proving , 1993, Stud Logica.

[6]  Roman Suszko.  Identity connective and modality , 1971 .

[7]  H.C.M. de Swart,et al.  Quantified modal logic, reference and essentialism , 1993 .

[8]  W. Hodges.  Elementary Predicate Logic , 1983 .

[9]  Katarzyna Halkowska,et al.  On P-compatible hybrid identities and hyperidentities , 1994, Stud Logica.

[10]  A. F. Parker-Rhodes.  The theory of indistinguishables , 1981 .

[11]  Hans-Peter Tuschik,et al.  An Axiomatization of the Logic with the Rough Quantifier , 1991, J. Symb. Log..

[12]  Willard Van Orman Quine,et al.  Philosophy of Logic. , 1988 .

[13]  Ewa Orlowska,et al.  A logic of indiscernibility relations , 1984, Symposium on Computation Theory.

[14]  D. Wiggins.  Sameness and substance , 1980 .

[15]  Elliott Mendelson,et al.  Introduction to Mathematical Logic , 1979 .

[16]  Mohua Banerjee,et al.  Saturatedness and a Hierarchy of Approximate Identities , 1994, Int. J. Uncertain. Fuzziness Knowl. Based Syst..