Masanobu Toyooka

According to our database, Masanobu Toyooka authored at least 4 papers between 2022 and 2024.

Collaborative distances:

• Dijkstra number of five.
• Erdős number of five.

2024

Combining Intuitionistic and Classical Propositional Logic: Gentzenization and Craig Interpolation.

Masanobu Toyooka, Katsuhiko Sano

Stud Logica, October, 2024

2022

Semantic Incompleteness of Hilbert System for a Combination of Classical and Intuitionistic Propositional Logic.

Masanobu Toyooka, Katsuhiko Sano

CoRR, 2022

Combining First-Order Classical and Intuitionistic Logic.

Masanobu Toyooka, Katsuhiko Sano

Proceedings of the 10th International Conference on Non-Classical Logics. Theory and Applications, 2022

A Proof-Theoretic Analysis of the Meaning of a Formula in a Combination of Intuitionistic and Classical Propositional Logic.

Masanobu Toyooka

Proceedings of the Logic and Engineering of Natural Language Semantics, 2022