Masanobu Toyooka

Publication Activity (10 Years)

Years Active: 2022-2022
Publications (10 Years): 3

Top Topics

Propositional Logic

Belief Revision

Horn Contraction

Prime Implicants

Top Venues

Publications

Masanobu Toyooka, Katsuhiko Sano
Combining First-Order Classical and Intuitionistic Logic. NCL (2022)
Masanobu Toyooka, Katsuhiko Sano
Semantic Incompleteness of Hilbert System for a Combination of Classical and Intuitionistic Propositional Logic. CoRR (2022)
Masanobu Toyooka
A Proof-Theoretic Analysis of the Meaning of a Formula in a Combination of Intuitionistic and Classical Propositional Logic. LENLS (2022)