| Publication | Date of Publication | Type |
|---|
Subformula property for some modal logics
Nihonkai Mathematical Journal | 2024-05-29 | Paper |
A modified subformula property for the modal logic KG1
Nihonkai Mathematical Journal | 2023-08-02 | Paper |
A modified subformula property for the modal logic KC4
Nihonkai Mathematical Journal | 2021-05-25 | Paper |
New modification of the subformula property for a modal logic
Bulletin of the Section of Logic | 2021-01-28 | Paper |
A modified subformula property for the modal logic S4.2
Bulletin of the Section of Logic | 2019-10-31 | Paper |
A semantical analysis of cut-free calculi for modal logics
Reports on Mathematical Logic | 2019-03-11 | Paper |
Axiomatization of a basic logic of logical bilattices
Bulletin of the Section of Logic | 2017-11-17 | Paper |
Gentzenization of trilattice logics
Studia Logica | 2016-10-27 | Paper |
scientific article; zbMATH DE number 6316281 (Why is no real title available?)
| 2014-07-11 | Paper |
Sequent calculus for the intersection of LK and the reversed
| 2012-11-16 | Paper |
A syntactical study of the subminimal logic with Nelson negation
Nihonkai Mathematical Journal | 2008-04-03 | Paper |
Finite model property for an intuitionistic modal logic
Nihonkai Mathematical Journal | 2004-03-29 | Paper |
Strong completeness of lattice-valued logic
Archive for Mathematical Logic | 2003-09-16 | Paper |
scientific article; zbMATH DE number 2024614 (Why is no real title available?)
| 2001-01-01 | Paper |
scientific article; zbMATH DE number 1334322 (Why is no real title available?)
| 2000-02-20 | Paper |
Sequent calculi for three-valued logics
Tsukuba Journal of Mathematics | 1999-09-12 | Paper |
Proof theory for minimal quantum logic: A remark
International Journal of Theoretical Physics | 1995-08-03 | Paper |
Subformula property in many-valued modal logics
Journal of Symbolic Logic | 1995-06-07 | Paper |
A Sequent Calculus for the Lesniewskian Modal Logic
Annals of the Japan Association for Philosophy of Science | 1995-04-20 | Paper |
scientific article; zbMATH DE number 149884 (Why is no real title available?)
| 1993-04-01 | Paper |
scientific article; zbMATH DE number 120339 (Why is no real title available?)
| 1993-02-22 | Paper |
Cut-free systems for three-valued modal logics
Notre Dame Journal of Formal Logic | 1993-02-22 | Paper |
Syntactical Proof of Translation and Separation Theorems on Subsystems of Elementary Ontology
Mathematical Logic Quarterly | 1992-06-26 | Paper |
Intermediate predicate logics determined by ordinals
Journal of Symbolic Logic | 1992-06-25 | Paper |
Interpolation theorem in many-valued logics with designated values
Kodai Mathematical Journal | 1989-01-01 | Paper |
Cut-Elimination in the Intuitionistic Many-Valued Logic Based on a Partial Order
Annals of the Japan Association for Philosophy of Science | 1988-01-01 | Paper |
Another proof of the strong completeness of the intuitionistic fuzzy logic
Tsukuba Journal of Mathematics | 1987-01-01 | Paper |
Ordered sets R and Q as bases of Kripke models
Studia Logica | 1987-01-01 | Paper |
Embeddings between the elementary ontology with an atom and the monadic second-order predicate logic
Studia Logica | 1987-01-01 | Paper |
scientific article; zbMATH DE number 4106815 (Why is no real title available?)
| 1987-01-01 | Paper |
An interpolation theorem in many-valued logic
Journal of Symbolic Logic | 1986-01-01 | Paper |
On intuitionistic many-valued logics
Journal of the Mathematical Society of Japan | 1986-01-01 | Paper |
Extending the Family of Intuitionistic Many-Valued Logics Introduced by Rousseau
Annals of the Japan Association for Philosophy of Science | 1986-01-01 | Paper |
Completeness of a cut-free calculus with equality and function constants
Archiv für Mathematische Logik und Grundlagenforschung | 1985-01-01 | Paper |
A semantical investigation into Leśniewski's axiom of his ontology
Studia Logica | 1985-01-01 | Paper |
Existence of the least and the greatest elements of a subset of the Lindenbaum algebra
Tsukuba Journal of Mathematics | 1985-01-01 | Paper |
Valid Sequents in Many-Valued Logics
Annals of the Japan Association for Philosophy of Science | 1980-01-01 | Paper |
