most citedAxiomatic Rejection for the Propositional Fragment of Leśniewski's Ontology

2 citations · 2 across the 1 of their papers we have counts for

collaborators

1 paper

math.LO2021★ 2 cited

Axiomatic Rejection for the Propositional Fragment of Leśniewski's Ontology

Takao Inoué, Arata Ishimoto, Mitsunori Kobayashi

A Hilbert-type axiomatic rejection for the propositional fragment of Leśniewski's ontology is proposed. Also a Gentzen-type axiomatic rejection $\math…