Switch to: References

Citations of:

Natural deduction systems for some non-commutative logics

Norihiro Kamide & Motohiko Mouri

Logic and Logical Philosophy 16 (2-3):105-146 (2007)

Add citations

You must login to add citations.

Strong Normalizability of Typed Lambda-Calculi for Substructural Logics.Motohiko Mouri & Norihiro Kamide - 2008 - Logica Universalis 2 (2):189-207.details The strong normalization theorem is uniformly proved for typed λ-calculi for a wide range of substructural logics with or without strong negation. Substructural Logic in Logic and Philosophy of Logic $47.60 new $52.55 used $54.99 from Amazon (collection) View on Amazon.com Direct download (3 more) Export citation Bookmark

1