Substitutivity Principles in Some Theories of Uncertainty

Authors:
Mihir K. Chakraborty;Ewa Orlowska
Affiliations:
Department of Pure Mathematics, University of Calcutta, Calcutta, India. e-mail: mihir@cubmb.emet.in;Institute of Telecommunications, Szachowa 1, 04-894 Warsaw, Poland. e-mail: orlowska@itl.waw.pl
Venue:
Fundamenta Informaticae
Year:
1997

Citing 4
Cited 0

Introduction to mathematical logic; (3rd ed.)

Introduction to mathematical logic; (3rd ed.)
Complete sets of transformations for general E-unification

Theoretical Computer Science - Second Conference on Rewriting Techniques and Applications, Bordeaux, May 1987
An axiomatization of the logic with the rough quantifier

Journal of Symbolic Logic
A New Approach to General E-Unification Based on Conditional Rewriting Systems

CTRS '92 Proceedings of the Third International Workshop on Conditional Term Rewriting Systems

Quantified Score

Hi-index	0.00

Visualization

Abstract

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.