2 citations · 4 across the 23 of their papers we have counts for
Showing 2021Show all
2 papers · 1 filter
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…
math.LO2021
How to Make a New Logic
Takao Inoué
We discuss about how to make a new logic with considering a slogan: \it take the inversion of what you know. \rm Suppose that we have a Gentzen-style logical system . The operat…