×

zbMATH — the first resource for mathematics

Takano, Mitio

Compute Distance To:
Author ID: takano.mitio Recent zbMATH articles by "Takano, Mitio"
Published as: Takano, Mitio; Takano, M.
Documents Indexed: 38 Publications since 1971

Publications by Year

Citations contained in zbMATH Open

14 Publications have been cited 48 times in 39 Documents Cited by Year
A modified subformula property for the modal logics K5 and K5D. Zbl 1038.03022
Takano, Mitio
9
2001
Subformula property as a substitute for cut-elimination in modal propositional logics. Zbl 0821.03010
Takano, Mitio
7
1992
Another proof of the strong completeness of the intuitionistic fuzzy logic. Zbl 0638.03012
Takano, Mitio
6
1987
Strong completeness of lattice-valued logic. Zbl 1024.03023
Takano, Mitio
5
2002
Ordered sets R and Q as bases of Kripke models. Zbl 0656.03018
Takano, Mitio
5
1987
Proof theory for minimal quantum logic: A remark. Zbl 0824.03032
Takano, Mitio
4
1995
Intermediate predicate logics determined by ordinals. Zbl 0745.03022
Minari, Pierluigi; Takano, Mitio; Ono, Hiroakira
3
1990
Interpolation theorem in many-valued logics with designated values. Zbl 0697.03009
Takano, Mitio
3
1989
Cut-elimination in the intuitionistic many-valued logic based on a partial order. Zbl 0648.03014
Takano, Mitio
1
1988
Cut-free systems for three-valued modal logics. Zbl 0778.03005
Takano, Mitio
1
1992
Sequent calculus for the intersection of LK and the reversed. Zbl 1271.03081
Takano, Mitio
1
2012
An interpolation theorem in many-valued logic. Zbl 0626.03014
Hanazawa, Masazumi; Takano, Mitio
1
1986
Extending the family of intuitionistic many-valued logics introduced by Rousseau. Zbl 0632.03020
Takano, Mitio
1
1986
Gentzenization of trilattice logics. Zbl 1417.03183
Takano, Mitio
1
2016
Gentzenization of trilattice logics. Zbl 1417.03183
Takano, Mitio
1
2016
Sequent calculus for the intersection of LK and the reversed. Zbl 1271.03081
Takano, Mitio
1
2012
Strong completeness of lattice-valued logic. Zbl 1024.03023
Takano, Mitio
5
2002
A modified subformula property for the modal logics K5 and K5D. Zbl 1038.03022
Takano, Mitio
9
2001
Proof theory for minimal quantum logic: A remark. Zbl 0824.03032
Takano, Mitio
4
1995
Subformula property as a substitute for cut-elimination in modal propositional logics. Zbl 0821.03010
Takano, Mitio
7
1992
Cut-free systems for three-valued modal logics. Zbl 0778.03005
Takano, Mitio
1
1992
Intermediate predicate logics determined by ordinals. Zbl 0745.03022
Minari, Pierluigi; Takano, Mitio; Ono, Hiroakira
3
1990
Interpolation theorem in many-valued logics with designated values. Zbl 0697.03009
Takano, Mitio
3
1989
Cut-elimination in the intuitionistic many-valued logic based on a partial order. Zbl 0648.03014
Takano, Mitio
1
1988
Another proof of the strong completeness of the intuitionistic fuzzy logic. Zbl 0638.03012
Takano, Mitio
6
1987
Ordered sets R and Q as bases of Kripke models. Zbl 0656.03018
Takano, Mitio
5
1987
An interpolation theorem in many-valued logic. Zbl 0626.03014
Hanazawa, Masazumi; Takano, Mitio
1
1986
Extending the family of intuitionistic many-valued logics introduced by Rousseau. Zbl 0632.03020
Takano, Mitio
1
1986

Citations by Year