Theoretical Computer Science
A framework for defining logics
Journal of the ACM (JACM)
Computational interpretations of linear logic
Theoretical Computer Science - Special volume of selected papers of the Sixth Workshop on the Mathematical Foundations of Programming Semantics, Kingston, Ont., Canada, May 1990
Logic programming in a fragment of intuitionistic linear logic
Papers presented at the IEEE symposium on Logic in computer science
ESOP'92 Selected papers of the symposium on Fourth European symposium on programming
Logic programming in intuitionistic linear logic: theory, design, and implementation
Logic programming in intuitionistic linear logic: theory, design, and implementation
Specifying syntactic structures
Eta-Expansions in Dependent Type Theory - The Calculus of Constructions
TLCA '97 Proceedings of the Third International Conference on Typed Lambda Calculi and Applications
LICS '96 Proceedings of the 11th Annual IEEE Symposium on Logic in Computer Science
The Occurrence of Continuation Parameters in CPS Terms
The Occurrence of Continuation Parameters in CPS Terms
Type-driven natural language analysis
Type-driven natural language analysis
Linear logic programming with an ordered context
Proceedings of the 2nd ACM SIGPLAN international conference on Principles and practice of declarative programming
Proving Syntactic Properties of Exceptions in an Ordered Logical Framework
FLOPS '01 Proceedings of the 5th International Symposium on Functional and Logic Programming
A First-Order One-Pass CPS Transformation
FoSSaCS '02 Proceedings of the 5th International Conference on Foundations of Software Science and Computation Structures
Higher-order representation of substructural logics
Proceedings of the 15th ACM SIGPLAN international conference on Functional programming
Monad transformers as monoid transformers
Theoretical Computer Science
Natural deduction calculus for linear-time temporal logic
JELIA'06 Proceedings of the 10th European conference on Logics in Artificial Intelligence
Lambek-Calculus with general elimination rules and continuation semantics
LACL'05 Proceedings of the 5th international conference on Logical Aspects of Computational Linguistics
CSL'05 Proceedings of the 19th international conference on Computer Science Logic
Combinatory categorial grammar as a substructural logic: preliminary remarks
JSAI-isAI'10 Proceedings of the 2010 international conference on New Frontiers in Artificial Intelligence
Gapping as like-category coordination
LACL'12 Proceedings of the 7th international conference on Logical Aspects of Computational Linguistics
LFP: a logical framework with external predicates
Proceedings of the seventh international workshop on Logical frameworks and meta-languages, theory and practice
25 years of formal proof cultures: some problems, some philosophy, bright future
Proceedings of the Eighth ACM SIGPLAN international workshop on Logical frameworks & meta-languages: theory & practice
| Hi-index | 0.00 |
We present a system of natural deduction and associated term calculus for intuitionistic non-commutative linear logic (INCLL) as a conservative extension of intuitionistic linear logic. We prove subject reduction and the existence of canonical forms in the implicational fragment.