1. Namespace
  2. Tailors
  3. \
  4. Logic
  5. \

Tailors\Logic

Namespaces

Tailors\Logic\ConnectivesTailors\Logic\ExceptionsTailors\Logic\FunctionsTailors\Logic\PredicatesTailors\Logic\Validators

Classes

AbstractFunctorExpression
FunctionNotationTrait
InfixNotationTrait
Logic
PrefixNotationTrait
QuantifiedFormula
SuffixNotationTrait
SymbolNotationTrait
Variable

Interfaces

ExpressionInterface
FormulaInterface
FunctorExpressionInterface
FunctorInterface
Common interface for functions, predicates or connectives. A characteristic feature of a functor is that it yields non-terminal expressions when provided with arguments.
LogicInterface
SymbolInterface
TermInterface
VariableInterface