تقرير
Nontrivial single axiom-schemata and their quasi-nontriviality of Le\'{s}niewski-Ishimoto's propositional ontology $\bf L_1$
العنوان: | Nontrivial single axiom-schemata and their quasi-nontriviality of Le\'{s}niewski-Ishimoto's propositional ontology $\bf L_1$ |
---|---|
المؤلفون: | Inoué, Takao, Miwa, Tadayoshi |
سنة النشر: | 2024 |
المجموعة: | Mathematics |
مصطلحات موضوعية: | Mathematics - Logic, 03B20, 03B60, 03F03, 03A05, 03A99 |
الوصف: | On March 8, 1995, was found the following nontrivial single axiom-schema characteristic of Le\'{s}niewski-Ishimoto's propositional ontology $\bf L_1$ (Inou\'{e} \cite{inoue16}). $$(\mbox{$\mathrm{A_{M8}}$)} \enspace \epsilon ab \wedge \epsilon cd . \supset . \epsilon aa \wedge \epsilon cc \wedge (\epsilon bc \supset . \epsilon ad \wedge \epsilon ba).$$ In this paper, we shall present the progress about the above axiom-schema from 1995 and conjectures about it. Here we shall give two criteria \it nontiriviality \rm and \it quasi-nontriviality \rm in order to distinguish two axiom-schemata. Comment: 31 pages, corrected, substantially enlarged |
نوع الوثيقة: | Working Paper |
URL الوصول: | http://arxiv.org/abs/2402.07030 |
رقم الأكسشن: | edsarx.2402.07030 |
قاعدة البيانات: | arXiv |
الوصف غير متاح. |