Mitio Takano

Available identifiers

zbMath Open takano.mitioMaRDI QIDQ332075

List of research outcomes

Publication	Date of Publication	Type
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
Cut-free systems for three-valued modal logics	1993-02-22	Paper
https://portal.mardi4nfdi.de/entity/Q4025000	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
Embeddings between the elementary ontology with an atom and the monadic second-order predicate logic	1987-01-01	Paper
Ordered sets R and Q as bases of Kripke models	1987-01-01	Paper
https://portal.mardi4nfdi.de/entity/Q3830980	1987-01-01	Paper
On intuitionistic many-valued logics	1986-01-01	Paper
An interpolation theorem in many-valued logic	1986-01-01	Paper
Extending the Family of Intuitionistic Many-Valued Logics Introduced by Rousseau	1986-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
Completeness of a cut-free calculus with equality and function constants	1985-01-01	Paper
Valid Sequents in Many-Valued Logics	1980-01-01	Paper

Research outcomes over time

Doctoral students

No records found.

Known relations from the MaRDI Knowledge Graph

Property	Value
MaRDI profile type	MaRDI person profile
instance of	human

This page was built for person: Mitio Takano