Package org.tweetyproject.logics.fol.syntax


package org.tweetyproject.logics.fol.syntax
  • Classes
    Class
    Description
    This class captures the common functionalities first order associative formulas like conjunction, disjunction, etc.
    The classical conjunction of first-order logic.
    A contradictory formula.
    The classical disjunction of first-order logic.
    This class models an equality predicate, meaning a predicate of arity 2 that maps to the identity relation.
    The equivalence of first-order logic.
    The exclusive disjunction (XOR) in first-order logic.
    Exists-quantified first-order logic formula.
    An atom in first-order logic, i.e.
    This class models a first-order knowledge base, i.e.
    The common abstract class for formulas of first-order logic.
    This class captures the signature of a specific first-order language.
    For-All-quantified first-order logic formula.
    The implication of first-order logic.
    This class models an inequality predicate, meaning a predicate of arity 2 that maps to the complement of the identity relation.
    This abstract class captures the common functionalities of both formulas and terms.
    The classical negation of first-order logic.
    This class captures the common functionalities of the special formulas tautology and contradiction.
    A tautological formula.