Mitio Takano

Available identifiers

zbMath Open takano.mitioMaRDI QIDQ332075

List of research outcomes

Publication	Date of Publication	Type
Subformula property for some modal logics	2024-05-29	Paper
A modified subformula property for the modal logic KG1	2023-08-02	Paper
A modified subformula property for the modal logic KC4	2021-05-25	Paper
New Modification of the Subformula Property for a Modal Logic	2021-01-28	Paper
A Modified Subformula Property for the Modal Logic S4.2	2019-10-31	Paper
A semantical analysis of cut-free calculi for modal logics	2019-03-11	Paper
Axiomatization of a Basic Logic of Logical Bilattices	2017-11-17	Paper
Gentzenization of trilattice logics	2016-10-27	Paper
https://portal.mardi4nfdi.de/entity/Q5169621	2014-07-11	Paper
https://portal.mardi4nfdi.de/entity/Q4648720	2012-11-16	Paper
A syntactical study of the subminimal logic with Nelson negation	2008-04-03	Paper
Finite model property for an intuitionistic modal logic	2004-03-29	Paper
Strong completeness of lattice-valued logic	2003-09-16	Paper
https://portal.mardi4nfdi.de/entity/Q4443189	2001-01-01	Paper
https://portal.mardi4nfdi.de/entity/Q4262065	2000-02-20	Paper
Sequent calculi for three-valued logics	1999-09-12	Paper
Proof theory for minimal quantum logic: A remark	1995-08-03	Paper
Subformula property in many-valued modal logics	1995-06-07	Paper
A Sequent Calculus for the Lesniewskian Modal Logic	1995-04-20	Paper
https://portal.mardi4nfdi.de/entity/Q4032549	1993-04-01	Paper
https://portal.mardi4nfdi.de/entity/Q4025000	1993-02-22	Paper
Cut-free systems for three-valued modal logics	1993-02-22	Paper
Syntactical Proof of Translation and Separation Theorems on Subsystems of Elementary Ontology	1992-06-26	Paper
Intermediate predicate logics determined by ordinals	1992-06-25	Paper
Interpolation theorem in many-valued logics with designated values	1989-01-01	Paper
Cut-Elimination in the Intuitionistic Many-Valued Logic Based on a Partial Order	1988-01-01	Paper
Another proof of the strong completeness of the intuitionistic fuzzy logic	1987-01-01	Paper
Ordered sets R and Q as bases of Kripke models	1987-01-01	Paper
Embeddings between the elementary ontology with an atom and the monadic second-order predicate logic	1987-01-01	Paper
https://portal.mardi4nfdi.de/entity/Q3830980	1987-01-01	Paper
An interpolation theorem in many-valued logic	1986-01-01	Paper
On intuitionistic many-valued logics	1986-01-01	Paper
Extending the Family of Intuitionistic Many-Valued Logics Introduced by Rousseau	1986-01-01	Paper
Completeness of a cut-free calculus with equality and function constants	1985-01-01	Paper
A semantical investigation into Leśniewski's axiom of his ontology	1985-01-01	Paper
Existence of the least and the greatest elements of a subset of the Lindenbaum algebra	1985-01-01	Paper
Valid Sequents in Many-Valued Logics	1980-01-01	Paper

Research outcomes over time

This page was built for person: Mitio Takano