Tsutomu Hosoi

Available identifiers

zbMath Open hosoi.tsutomuMaRDI QIDQ1111544

List of research outcomes

Publication	Date of Publication	Type
https://portal.mardi4nfdi.de/entity/Q4391083	2001-03-19	Paper
https://portal.mardi4nfdi.de/entity/Q4326748	1995-03-22	Paper
A study of intermediate propositional logics on the third slice	1993-05-16	Paper
https://portal.mardi4nfdi.de/entity/Q3491524	1990-01-01	Paper
Gentzen-type formulation of the propositional logic LQ	1988-01-01	Paper
Pseudo two-valued evaluation method for intermediate logics	1986-01-01	Paper
Evaluation of Peirce's axiom on intermediate Kripke models and its application	1979-01-01	Paper
https://portal.mardi4nfdi.de/entity/Q4159025	1977-01-01	Paper
Axiomatization of models for intermediate logics constructed with Boolean models by piling up	1972-01-01	Paper
https://portal.mardi4nfdi.de/entity/Q5619070	1970-01-01	Paper
https://portal.mardi4nfdi.de/entity/Q5582306	1969-01-01	Paper
https://portal.mardi4nfdi.de/entity/Q5545944	1967-01-01	Paper
A criterion for the separable axiomatization of Gödel's $S_n $	1967-01-01	Paper
https://portal.mardi4nfdi.de/entity/Q5523672	1966-01-01	Paper
Algebraic proof of the separation theorem on classical propositional calculus	1966-01-01	Paper
https://portal.mardi4nfdi.de/entity/Q5537356	1966-01-01	Paper
The separable axiomatization of the intermediate propositional systems $S_n $ of Gödel	1966-01-01	Paper
On the separation theorem of intermediate propositional calculi	1966-01-01	Paper
Algebraic proof of the separation theorem on Dummett's $\mathrm{LC}$	1966-01-01	Paper

Research outcomes over time

Doctoral students

No records found.

Known relations from the MaRDI Knowledge Graph

Property	Value
MaRDI profile type	MaRDI person profile
instance of	human

This page was built for person: Tsutomu Hosoi