| Publication | Date of Publication | Type |
|---|
A scientific autobiography
Outstanding Contributions to Logic | 2024-03-25 | Paper |
Analytic cut and Mints' symmetric interpolation method for bi-intuitionistic tense logic
| 2023-03-24 | Paper |
Residuated expansions of lattice-ordered structures
| 2021-03-19 | Paper |
A cut-free labelled sequent calculus for dynamic epistemic logic
Journal Of Logic And Computation | 2020-04-29 | Paper |
Semantical approach to cut elimination and subformula property in modal logic
Logic in Asia: Studia Logica Library | 2020-02-04 | Paper |
Proof theory and algebra in logic
Short Textbooks in Logic | 2019-06-04 | Paper |
A cut-free labelled sequent calculus for dynamic epistemic logic
Logical Foundations of Computer Science | 2017-07-21 | Paper |
Analytic cut and interpolation for bi-intuitionistic logic
The Review of Symbolic Logic | 2017-07-06 | Paper |
Logics without the contraction rule and residuated lattices
| 2016-02-01 | Paper |
Modal twist-structures over residuated lattices
Logic Journal of the IGPL | 2015-02-12 | Paper |
Comments on Artemov
| 2015-01-22 | Paper |
Uniform interpolation in substructural logics
The Review of Symbolic Logic | 2015-01-21 | Paper |
Algebraic logic
| 2013-10-04 | Paper |
Preface to the special issue: Recent developments related to residuated lattices and substructural logics
Studia Logica | 2013-02-18 | Paper |
Glivenko theorems and negative translations in substructural predicate logics
Archive for Mathematical Logic | 2013-02-04 | Paper |
On involutive FL\(_{e}\)-monoids
Archive for Mathematical Logic | 2013-02-04 | Paper |
Crawley completions of residuated lattices and algebraic completeness of substructural predicate logics
Studia Logica | 2012-10-01 | Paper |
Cut elimination and strong separation for substructural logics: an algebraic approach
Annals of Pure and Applied Logic | 2011-08-26 | Paper |
Interpolation properties, Beth definability properties and amalgamation properties for substructural logics
Journal Of Logic And Computation | 2010-08-26 | Paper |
Fuzzy logics from substructural perspective
Fuzzy Sets and Systems | 2010-03-18 | Paper |
Glivenko theorems revisited
Annals of Pure and Applied Logic | 2009-11-04 | Paper |
scientific article; zbMATH DE number 5295837 (Why is no real title available?)
| 2008-07-01 | Paper |
Algebraic characterizations of variable separation properties
| 2008-06-18 | Paper |
Residuated lattices. An algebraic glimpse at substructural logics
Studies in Logic and the Foundations of Mathematics | 2007-05-30 | Paper |
Glivenko theorems for substructural logics over FL
Journal of Symbolic Logic | 2007-01-19 | Paper |
Algebraization, parametrized local deduction theorem and interpolation for substructural logics over FL
Studia Logica | 2006-10-27 | Paper |
scientific article; zbMATH DE number 2196598 (Why is no real title available?)
| 2005-08-22 | Paper |
Algebraic aspects of cut elimination
Studia Logica | 2005-04-07 | Paper |
scientific article; zbMATH DE number 2070197 (Why is no real title available?)
| 2004-06-08 | Paper |
Closure operators and complete embeddings of residuated lattices
Studia Logica | 2003-08-28 | Paper |
Splitting in the variety of residuated lattices
Algebra Universalis | 2003-04-23 | Paper |
Kripke semantics, undecidability and standard completeness for Esteva and Godo's logic MTL\(\forall\)
Studia Logica | 2002-08-26 | Paper |
scientific article; zbMATH DE number 1735885 (Why is no real title available?)
| 2002-04-29 | Paper |
Remarks on splittings in the variety of residuated lattices
Reports on Mathematical Logic | 2002-03-13 | Paper |
The variety of residuated lattices is generated by its finite simple members
Reports on Mathematical Logic | 2001-10-16 | Paper |
A syntactic approach to Maksimova's principle of variable separation for some substructural logics
Notre Dame Journal of Formal Logic | 2001-07-17 | Paper |
scientific article; zbMATH DE number 1523044 (Why is no real title available?)
| 2001-03-13 | Paper |
scientific article; zbMATH DE number 1418443 (Why is no real title available?)
| 2000-12-26 | Paper |
scientific article; zbMATH DE number 1361537 (Why is no real title available?)
| 2000-11-07 | Paper |
scientific article; zbMATH DE number 1406811 (Why is no real title available?)
| 2000-02-28 | Paper |
scientific article; zbMATH DE number 1303458 (Why is no real title available?)
| 1999-06-17 | Paper |
scientific article; zbMATH DE number 1138593 (Why is no real title available?)
| 1998-04-02 | Paper |
scientific article; zbMATH DE number 700345 (Why is no real title available?)
| 1994-12-08 | Paper |
The finite model property for BCK and BCIW
Studia Logica | 1994-05-23 | Paper |
scientific article; zbMATH DE number 218501 (Why is no real title available?)
| 1993-06-29 | Paper |
scientific article; zbMATH DE number 125238 (Why is no real title available?)
| 1993-02-21 | Paper |
scientific article; zbMATH DE number 54580 (Why is no real title available?)
| 1992-09-26 | Paper |
The contraction rule and decision problems for logics without structural rules
Studia Logica | 1992-06-27 | Paper |
Intermediate predicate logics determined by ordinals
Journal of Symbolic Logic | 1992-06-25 | Paper |
scientific article; zbMATH DE number 4139714 (Why is no real title available?)
| 1988-01-01 | Paper |
On finite linear intermediate predicate logics
Studia Logica | 1988-01-01 | Paper |
scientific article; zbMATH DE number 4120149 (Why is no real title available?)
| 1988-01-01 | Paper |
scientific article; zbMATH DE number 4106814 (Why is no real title available?)
| 1987-01-01 | Paper |
Reflection Principles in Fragments of Peano Arithmetic
Zeitschrift für Mathematische Logik und Grundlagen der Mathematik | 1987-01-01 | Paper |
Interpolation and the Robinson property for logics not closed under the Boolean operations
Algebra Universalis | 1986-01-01 | Paper |
Provably recursive functions in fragments of Peano arithmetic
Journal of the Mathematical Society of Japan | 1986-01-01 | Paper |
Craig's interpolation theorem for the intuitionistic logic and its extensions - a semantical approach
Studia Logica | 1986-01-01 | Paper |
Logics without the contraction rule
Journal of Symbolic Logic | 1985-01-01 | Paper |
Semantical analysis of predicate logics without the contraction rule
Studia Logica | 1985-01-01 | Paper |
Equational theories and universal theories of fields
Journal of the Mathematical Society of Japan | 1983-01-01 | Paper |
scientific article; zbMATH DE number 3821696 (Why is no real title available?)
| 1983-01-01 | Paper |
scientific article; zbMATH DE number 3837996 (Why is no real title available?)
| 1982-01-01 | Paper |
scientific article; zbMATH DE number 3788583 (Why is no real title available?)
| 1982-01-01 | Paper |
On some intuitionistic modal logics
Publications of the Research Institute for Mathematical Sciences, Kyoto University | 1977-01-01 | Paper |
scientific article; zbMATH DE number 3627138 (Why is no real title available?)
| 1977-01-01 | Paper |
scientific article; zbMATH DE number 3651719 (Why is no real title available?)
| 1975-01-01 | Paper |
A formal system of partial recursive functions
Publications of the Research Institute for Mathematical Sciences, Kyoto University | 1974-01-01 | Paper |
A study of intermediate predicate logics
Publications of the Research Institute for Mathematical Sciences, Kyoto University | 1973-01-01 | Paper |
Incompleteness of semantics for intermediate predicate logics, I. Kripke's Semantics
Proceedings of the Japan Academy, Series A, Mathematical Sciences | 1973-01-01 | Paper |
Some results on the intermediate logics
Publications of the Research Institute for Mathematical Sciences, Kyoto University | 1972-01-01 | Paper |
Axiomatization of models for intermediate logics constructed with Boolean models by piling up
Publications of the Research Institute for Mathematical Sciences, Kyoto University | 1972-01-01 | Paper |
Kripke models and intermediate logics
Publications of the Research Institute for Mathematical Sciences, Kyoto University | 1971-01-01 | Paper |
On the finite model property for Kripke models
Publications of the Research Institute for Mathematical Sciences, Kyoto University | 1971-01-01 | Paper |
scientific article; zbMATH DE number 3342820 (Why is no real title available?)
| 1970-01-01 | Paper |
Some Remarks on Evaluations of the Primitive Logic
Nagoya Mathematical Journal | 1970-01-01 | Paper |
scientific article; zbMATH DE number 3333269 (Why is no real title available?)
| 1967-01-01 | Paper |
