logic

Description

Base classes for defining a logic. For details see Logic.

Classes

Logic

Basic definition of a logic.