An Algebraic Treatment of the Leibniz Law.

WILCZEK, Piotr (2009) An Algebraic Treatment of the Leibniz Law..

Full text available as:
PDF - Requires a viewer, such as Adobe Acrobat Reader or other PDF viewer.

Abstract

This paper is an attempt of algebraization of the Leibniz Law for classical objects. In the future the above investigations will be extended to the domain of quantum objects.

Keywords:	Leibniz Law, Leibniz congruence, Quine congruence, naming predicate, Ultrafilter Lemma, Lindenbaum Property, rigid and non-rigid structures.
Subjects:	Specific Sciences: Mathematics
ID Code:	4033
Deposited By:	WILCZEK, Piotr
Deposited On:	18 Febuary 2009
Additional Information:	The above extended abstract is submitted to the Conference LOGICA 2009, Hejnice.