| Publication | Date of Publication | Type |
|---|
The Trend of Logic and Foundation of Mathematics in Japan in 1991 to 1996
Annals of the Japan Association for Philosophy of Science | 1997-07-17 | Paper |
A decision method for a set of first order classical formulas and its applications to decision problems for non-classical propositional logics
Journal of the Mathematical Society of Japan | 1990-01-01 | Paper |
Preservation theorem and relativization theorem for cofinal extensions
Journal of Symbolic Logic | 1986-01-01 | Paper |
| scientific article; zbMATH DE number 3993528 (Why is no real title available?) | 1985-01-01 | Paper |
Equality and lyndon's interpolation theorem
Journal of Symbolic Logic | 1984-01-01 | Paper |
Approximation theory of uniqueness conditions by existence conditions
Fundamenta Mathematicae | 1984-01-01 | Paper |
A normal form theorem for first order formulas and its application to Gaifman's splitting theorem
Journal of Symbolic Logic | 1984-01-01 | Paper |
| scientific article; zbMATH DE number 3880649 (Why is no real title available?) | 1983-01-01 | Paper |
An axiomatization theorem
Journal of the Mathematical Society of Japan | 1982-01-01 | Paper |
An elimination theorem of uniqueness conditions in the intuitionistic predicate calculus
Nagoya Mathematical Journal | 1982-01-01 | Paper |
Elimination Theorems of Uniqueness Conditions
Mathematical Logic Quarterly | 1982-01-01 | Paper |
| scientific article; zbMATH DE number 3849202 (Why is no real title available?) | 1982-01-01 | Paper |
| scientific article; zbMATH DE number 3794051 (Why is no real title available?) | 1981-01-01 | Paper |
A remark on Africk's paper on Scott's interpolation theorem for Lω1ω
Journal of Symbolic Logic | 1979-01-01 | Paper |
A remark on Scott's interpolation theorem for Lω1ω
Journal of Symbolic Logic | 1977-01-01 | Paper |
Partially ordered interpretations
Journal of Symbolic Logic | 1977-01-01 | Paper |
Some proof theoretic-properties of dense linear orderings and countable well-orderings
Proceedings of the Japan Academy, Series A, Mathematical Sciences | 1975-01-01 | Paper |
Model theory on a positive second order logic with countable conjunctions and disjunctions
Journal of the Mathematical Society of Japan | 1973-01-01 | Paper |
An extended relativization theorem
Journal of the Mathematical Society of Japan | 1973-01-01 | Paper |
Two theorems on mix-relativization
Proceedings of the Japan Academy, Series A, Mathematical Sciences | 1973-01-01 | Paper |
| scientific article; zbMATH DE number 3412602 (Why is no real title available?) | 1973-01-01 | Paper |
Interpolation Theorem and Characterization Theorem
Annals of the Japan Association for Philosophy of Science | 1972-01-01 | Paper |
Object logic and morphism logic
Journal of the Mathematical Society of Japan | 1972-01-01 | Paper |
A new theorem on definability in a positive second order logic with countable conjunctions and disjunctions
Proceedings of the Japan Academy, Series A, Mathematical Sciences | 1972-01-01 | Paper |
Some investigations on many valued logics
Proceedings of the Japan Academy, Series A, Mathematical Sciences | 1972-01-01 | Paper |
A note on Schütte's interpolation theorem
Proceedings of the Japan Academy, Series A, Mathematical Sciences | 1972-01-01 | Paper |
Countable structures for uncountable infinitary languages
Proceedings of the Japan Academy, Series A, Mathematical Sciences | 1972-01-01 | Paper |
A theorem in the theory of definition
Journal of the Mathematical Society of Japan | 1970-01-01 | Paper |
On normal operations on models
Journal of the Mathematical Society of Japan | 1969-01-01 | Paper |
