Takao Inoué

Available identifiers

List of research outcomes

Publication	Date of Publication	Type
Epistemic systems and Flagg and Friedman's translation	2023-07-05	Paper
Axiomatic Rejection for the Propositional Fragment of Le\'{s}niewski's Ontology	2021-08-14	Paper
How to Make a New Logic	2021-08-12	Paper
The consistency of arithmetic from a point of view of constructive tableau method with strong negation, Part I: the system without complete induction	2020-10-14	Paper
On Bergman's Diamond Lemma for Ring Theory	2020-07-27	Paper
On Blass translation for Le\'sniewski's propositional ontology and modal logics	2020-06-27	Paper
Partial differentiation of vector-valued functions on $n$-dimensional real normed linear spaces	2013-12-03	Paper
Partial differentiation, differentiation and continuity on $n$-dimensional real normed linear spaces	2013-12-03	Paper
Corrections and additions to my paper ``A note on unprovability-preserving sound translations, more general constructions	2001-09-04	Paper
https://portal.mardi4nfdi.de/entity/Q4888319	1996-11-04	Paper
https://portal.mardi4nfdi.de/entity/Q4870561	1996-07-24	Paper
https://portal.mardi4nfdi.de/entity/Q4851413	1996-01-21	Paper
https://portal.mardi4nfdi.de/entity/Q4851414	1996-01-21	Paper
https://portal.mardi4nfdi.de/entity/Q4323641	1995-02-20	Paper
FLAGG AND FRIEDMAN'S TRANSLATION IS NOT FAITHFUL	1994-08-28	Paper
https://portal.mardi4nfdi.de/entity/Q4285923	1994-03-22	Paper
https://portal.mardi4nfdi.de/entity/Q4032852	1993-04-01	Paper
https://portal.mardi4nfdi.de/entity/Q4009135	1992-09-27	Paper
A Note on Stahl's Opposite System	1989-01-01	Paper
Nontrivial single axiom-schemata and their quasi-nontriviality of Le\'{s}niewski-Ishimoto's propositional ontology $\bf L_1$	N/A	Paper

Research outcomes over time

This page was built for person: Takao Inoué