Three approaches to congruenceReportar como inadecuado

Three approaches to congruence - Descarga este documento en PDF. Documentación en PDF para descargar gratis. Disponible también para leer online.

1 IJN - Institut Jean-Nicod

Abstract : This paper is concerned with three methodologies to construct a congruence in a language (L, O) among which Frege-s specific solution stands. The first construction is derived from Leibniz-s principle that indiscernible objects should be identified. The second construction is apparented to Frege-s solution by its use of a referential model. The third approach is our own solution to the problem in the framework of rewriting systems.

Keywords : congruence indiscerbility Frege intensionality rewriting systems

Autor: Sacha Bourgeois-Gironde - Paul-André Melliès



Documentos relacionados