Vol. 57(71) (dedicated to Djuro Kurepa), pp. 165--178 (1995)

Previous Article

Next Article

Contents of this Issue

Other Issues

ELibM Journals

ELibM Home



Identity and permutation

Aleksandar Kron

Filozofski fakultet, Beograd, Yugoslavia

Abstract: It is known that in the purely implicational fragment of the system {\bf TW}$_{\to}$ if both $(A\to B)$ and $ (B\to A)$ are theorems, then $A$ and $B$ are the same formula (the Anderson--Belnap conjecture). This property is equivalent to NOID (no identity!): if the axiom-shema $(A\to A)$ is omitted from {\bf TW}$_{\to}$ and the system {\bf TW}$_{\to}$-ID is obtained, then there is no theorem of the form $(A\to A)$. \par A Gentzen-style purely implicational system {\bf J} is here constructed such that NOID holds for {\bf J}. NOID is proved to be equivalent to NOE: there no theorem of {\bf J} of the form $((A\to A)\to B)\to B$, i.e., of the form of the characteristic axiom of the implicational system {\bf E}$_{\to}$ of entailment. \par If $ (p\to p)$ is adjoined to {\bf J} as an axiom-schema (ID), then there are theorems $(A\to B)$ and $(B\to A)$ such that $A$ and $B$ are distinct formulas, which shows that for {\bf J} the Anderson--Belnap conjecture is not equivalent to NOID. \par The system {\bf J}+ID is equivalent to {\bf RW}$_{\to}$ of relevance logic.

Classification (MSC2000): 11A05

Full text of the article:

Electronic fulltext finalized on: 1 Nov 2001. This page was last modified: 16 Nov 2001.

© 2001 Mathematical Institute of the Serbian Academy of Science and Arts
© 2001 ELibM for the EMIS Electronic Edition