Person:1111544

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

This page was built for person: Tsutomu Hosoi