Axiomatic Rejection for the Propositional Fragment of Le\'{s}niewski's Ontology

arXiv2108.06604MaRDI QIDQ6375256FDOQ6375256

Authors: Takao Inoué, Arata Ishimoto, Mitsunori Kobayashi

Publication date: 14 August 2021

Abstract: A Hilbert-type axiomatic rejection

m a t h b f H A R

for the propositional fragment

m a t h b f L_{1}

of Le'{s}niewski's ontology is proposed. Also a Gentzen-type axiomatic rejection

m a t h b f G A R

of

m a t h b f L_{1}

is proposed. Models for

m a t h b f L_{1}

are introduced. By axiomatic rejection, Ishimoto's embedding theorem will be proved. One of our main theorems is:

oindent extsc{Theorem} m (Main Theorem) it $v d a s h_{T} A e n s p a c e L o n g l e f t r i g h t a r r o w e n s p a c e v d a s h_{H} e n s p a c e A$ $e n s p a c e e n s p a c e e n s p a c e e n s p a c e e n s p a c e e n s p a c e L o n g l e f t r i g h t a r r o w e n s p a c e T A e n s p a c e m b o x i s v a l i d i n f i r s t - o r d e r p r e d i c a t e l o g i c w i t h e q u a l i t y$ $e n s p a c e e n s p a c e e n s p a c e e n s p a c e e n s p a c e e n s p a c e L o n g l e f t r i g h t a r r o w e n s p a c e n o t d a s h v_{H} A .$

oindent where

v d a s h_{T} A

means that

A

is provable in the tableau method of

m a t h b f L_{1}

, while

v d a s h_{H} A

means that

A

is provable in the Hilbert-type

m a t h b f L_{1}

. m smallskip In the last section, as the chracterization theorem, we shall show the theorem which contains six equivalent statements with the cut elimination theorem etc.

Mathematics Subject Classification ID

Other nonclassical logic (03B60)

This page was built for publication: Axiomatic Rejection for the Propositional Fragment of Le\'{s}niewski's Ontology

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q6375256)