Amanote Research
Register
Sign In
Discover open access scientific publications
Search, annotate, share and cite publications
Publications by Motohiko Mouri
Natural Deduction Systems for Some Non-Commutative Logics
Logic and Logical Philosophy
Philosophy
Related publications
Natural Deduction for Hybrid Logic
Journal of Logic and Computation
Arts
Humanities
Hardware
Architecture
Logic
Theoretical Computer Science
Software
On Some Relations Between Natural Deduction and Sequent Calculus
Note on Deduction Theorems in Contraction-Free Logics
Natural Deduction for Intuitionistic Linear Logic
Annals of Pure and Applied Logic
Logic
On the Quantum Dynamics of Non-Commutative Systems
Brazilian Journal of Physics
Astronomy
Physics
Some Remarks on Non-Commutative Extensions of Local Rings
Nagoya Mathematical Journal
Mathematics
Sequent Systems for Modal Logics
Natural Deduction in a Paracomplete Setting
Logical Investigations
Decision Procedures for Some Strong Hybrid Logics
Logic and Logical Philosophy
Philosophy
