top

A formal language for reasoning about indiscernibility

B. Konikowska. A formal language for reasoning about indiscernibility. Bulletin of the Polish Academy of Sciences, 35:239–249, 1987.

Download: (unavailable)

Abstract:

Fix $m$ and $n$, and consider structures consisting of a set of $n$ entities and a set of $m$ properties, and for each set $P$ of properties an equivalence relation $\romanind(P)$ on the set $E$ of entities (thought of as indiscernibility with respect to properties in $P$; thus $\romanind(P\cup Q)= \romanind(P)\cap\romanind(Q)$, and $\romanind(\varnothing)$ is the universal relation on $E$). Now consider a language having expressions denoting each set of properties (using the Boolean operations) and whose formulas denote subsets of $E$. The formulas include constants denoting the singleton subsets, are closed under the Boolean operations, and if $F$ is a formula denoting the set $S$ of entities and $A$ is an expression denoting the set $P$ of properties then $\romanind\sb *(A)F$ denotes the set $\e\in E\:(\forall f)$ (if $(e,f)\in\romanind(P)$ then $f\in S)\$, and $\romanind\sp *(A)F$ denotes $\e\in E\:$ $(\exists f)((e,f)\in\romanind(P)$ and $f\in S)\$. A formula is valid if it always denotes the whole set $E$. The author obtains an axiomatization of the valid formulas.

BibTeX: (download)

@ARTICLE{konikowska87,
  author = {B. Konikowska},
  title = {A formal language for reasoning about indiscernibility},
  journal = {Bulletin of the Polish Academy of Sciences},
  year = {1987},
  volume = {35},
  pages = {239--249},
  abstract = {
	Fix $m$ and $n$, and consider structures consisting of a set of $n$
	entities and a set of $m$ properties, and for each set $P$ of properties
	an equivalence relation $\roman{ind}(P)$ on the set $E$ of entities
	(thought of as indiscernibility with respect to properties in $P$;
	thus $\roman{ind}(P\cup Q)= \roman{ind}(P)\cap\roman{ind}(Q)$, and
	$\roman{ind}(\varnothing)$ is the universal relation on $E$). Now
	consider a language having expressions denoting each set of properties
	(using the Boolean operations) and whose formulas denote subsets
	of $E$. The formulas include constants denoting the singleton subsets,
	are closed under the Boolean operations, and if $F$ is a formula
	denoting the set $S$ of entities and $A$ is an expression denoting
	the set $P$ of properties then $\roman{ind}\sb *(A)F$ denotes the
	set $\{e\in E\:(\forall f)$ (if $(e,f)\in\roman{ind}(P)$ then $f\in
	S)\}$, and $\roman{ind}\sp *(A)F$ denotes $\{e\in E\:$ $(\exists
	f)((e,f)\in\roman{ind}(P)$ and $f\in S)\}$. A formula is valid if
	it always denotes the whole set $E$. The author obtains an axiomatization
	of the valid formulas. }
}

Generated by bib2html.pl (written by Patrick Riley ) on Mon Aug 10, 2009 14:52:33