comp4ling

computation for linguistics

• 
• Home
• Phonology
• Semantics
• Syntax
• Specific theories
• General utilities
• Downloads
• 

Semantics

Computing PLA: An implementation of Paul Dekker's Predicate Logic with Anaphora (Chris Potts)

Chris Potts's theory of integrated pragmatic values (Chris Potts)

A propositional logic interpreter (Chris Potts)

Typefree lambda calculus (Chris Potts)

Closure operations: Permutations, n-tuples, cross-products, powersets, partitions (Chris Potts)