Package nltk :: Package sem :: Module linearlogic

[frames] | no frames]

Module linearlogic

Classes

Expression

AtomicExpression

ConstantExpression

VariableExpression

ImpExpression

ApplicationExpression

BindingDict

VariableBindingException

UnificationException

LinearLogicApplicationException

Tokens

LinearLogicParser
A linear logic expression parser.

Functions

demo()

source code

Variables

_counter = Counter()