L2C2: Logic-based LSC Consistency Checking

Labeled Natural Deduction Systems for a Family of Tense Logics

Labelled Lambda-calculi with Explicit Copy and Erase

Labelled transition systems as a Stone space

Lack of Finite Characterizations for the Distance-based Revision

Lambda-Free Logical Frameworks

Language of Boolean functions its Grammar and Machine

Layered Fixed Point Logic

Lazy AC-Pattern Matching for Rewriting

Lazy Decomposition for Distributed Decision Procedures

Learning in a Compiler for MINSAT Algorithms

Least and Greatest Fixed Points in Linear Logic

Least and greatest fixpoints in game semantics

Lecture notes on the lambda calculus

Lectures on Jacques Herbrand as a Logician

Levels of Undecidability in Infinitary Rewriting: Normalization and Reachability

Lifted Unit Propagation for Effective Grounding

Light Affine Logic (Proof Nets, Programming Notation, P-Time Correctness and Completeness)

Light Logics and Higher-Order Processes

Light Logics and Optimal Reduction: Completeness and Complexity