Zobrazeno 1 - 1
of 1
pro vyhledávání: '"Miwa, Tadayoshi"'
Autor:
Inoué, Takao, Miwa, Tadayoshi
On March 8, 1995, was found the following \it nontrivial \rm single axiom-schema characteristic of Le\'{s}niewski-Ishimoto's propositional ontology $\bf L_1$ (Inou\'{e}, 1995b \cite{inoue16}). $$(\mathrm{A_{M8})} \enspace \epsilon ab \wedge \epsilon
Externí odkaz:
http://arxiv.org/abs/2402.07030
