Citations of:

Natural deduction systems for some non-commutative logics

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

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. Download Export citation Bookmark

Applied ethics	Epistemology	History of Western Philosophy	Meta-ethics	Metaphysics	Normative ethics
Philosophy of biology	Philosophy of language	Philosophy of mind	Philosophy of religion	Science Logic and Mathematics	More ...