Masanobu Toyooka

According to our database, Masanobu Toyooka authored at least 3 papers in 2022.

Collaborative distances:

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

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