Takao Inoué

List of research outcomes

This list is not complete and representing at the moment only items from zbMATH Open and arXiv. We are working on additional sources - please check back here soon!

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 Formalized Mathematics	2013-12-03	Paper
Partial differentiation, differentiation and continuity on $n$-dimensional real normed linear spaces Formalized Mathematics	2013-12-03	Paper
Corrections and additions to my paper ``A note on unprovability-preserving sound translations, more general constructions Logique et Analyse. Nouvelle Série	2001-09-04	Paper
scientific article; zbMATH DE number 910432 (Why is no real title available?)	1996-11-04	Paper
scientific article; zbMATH DE number 859789 (Why is no real title available?)	1996-07-24	Paper
scientific article; zbMATH DE number 804147 (Why is no real title available?)	1996-01-21	Paper
scientific article; zbMATH DE number 804148 (Why is no real title available?)	1996-01-21	Paper
scientific article; zbMATH DE number 724625 (Why is no real title available?)	1995-02-20	Paper
FLAGG AND FRIEDMAN'S TRANSLATION IS NOT FAITHFUL Mathematical Logic Quarterly	1994-08-28	Paper
scientific article; zbMATH DE number 536897 (Why is no real title available?)	1994-03-22	Paper
scientific article; zbMATH DE number 150220 (Why is no real title available?)	1993-04-01	Paper
scientific article; zbMATH DE number 60832 (Why is no real title available?)	1992-09-27	Paper
A Note on Stahl's Opposite System Zeitschrift für Mathematische Logik und Grundlagen der Mathematik	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é