#### Filter Results:

- Full text PDF available (1)

#### Publication Year

1985

2016

- This year (0)
- Last 5 years (1)
- Last 10 years (2)

#### Publication Type

#### Co-author

#### Journals and Conferences

Learn More

- Mitio Takano
- Studia Logica
- 1987

- Mitio Takano
- Arch. Math. Log.
- 2002

Strong completeness of S. Titani’s system for lattice valued logic is shown by means of Dedekind cuts. 1. Syntax of lattice valued logic The purpose of this note is to show strong completeness of the system L for lattice valued logic given in Titani [4], in which she formulates a lattice-valued set theory by introducing the logical implication which… (More)

- Pierluigi Minari, Mitio Takano, Hiroakira Ono
- J. Symb. Log.
- 1990

- Mitio Takano
- 2007

The sequent calculus GK5 (GK5D) for the modal propositional logic K5 (K5D) is presented, and it is shown that, every provable sequent Γ → Θ in GK5 (GK5D) has a GK5-proof (GK5D-proof) such that every formula occurring in it is either a subformula of some formulas in Γ, Θ, or the formula 2¬2B or ¬2B, where 2B occurs in the scope of some occurrence of 2 in… (More)

- Masazumi Hanazawa, Mitio Takano
- J. Symb. Log.
- 1986

- Mitio Takano
- J. Symb. Log.
- 1994

- Mitio Takano
- Studia Logica
- 1985

- Mitio Takano
- Studia Logica
- 2016

- Mitio Takano
- Math. Log. Q.
- 1991

- Y Ten-Nichi, N. Murakami, +7 authors J Obana
- Tsurumi shigaku. Tsurumi University dental…
- 1986