A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2015; you can also visit the original URL.
The file type is application/pdf.
Natural deduction systems for some non-commutative logics
2007
Logic and Logical Philosophy
Preserved Fulltext
Varieties of natural deduction systems are introduced for Wansing's paraconsistent non-commutative substructural logic, called a constructive sequential propositional logic (COSPL), and its fragments. Normalization, strong normalization and Church-Rosser theorems are proved for these systems. These results include some new results on full Lambek logic (FL) and its fragments, because FL is a fragment of COSPL.
doi:10.12775/llp.2007.005
fatcat:5zxtkufnhzgfhc6v4wo6vbyxvy