Class and Description |
---|
FOLAtom
An atom in first-order logic, i.e.
|
FolFormula
The common abstract class for formulas of first-order logic.
|
Class and Description |
---|
FolFormula
The common abstract class for formulas of first-order logic.
|
Class and Description |
---|
FOLAtom
An atom in first-order logic, i.e.
|
FolFormula
The common abstract class for formulas of first-order logic.
|
Class and Description |
---|
FolFormula
The common abstract class for formulas of first-order logic.
|
Class and Description |
---|
FOLAtom
An atom in first-order logic, i.e.
|
Class and Description |
---|
FOLAtom
An atom in first-order logic, i.e.
|
FolFormula
The common abstract class for formulas of first-order logic.
|
Class and Description |
---|
FOLAtom
An atom in first-order logic, i.e.
|
FolFormula
The common abstract class for formulas of first-order logic.
|
FolSignature
This class captures the signature of a specific
first-order language.
|
Class and Description |
---|
FOLAtom
An atom in first-order logic, i.e.
|
Class and Description |
---|
FolFormula
The common abstract class for formulas of first-order logic.
|
Class and Description |
---|
FolFormula
The common abstract class for formulas of first-order logic.
|
Class and Description |
---|
FOLAtom
An atom in first-order logic, i.e.
|
FolFormula
The common abstract class for formulas of first-order logic.
|
FolSignature
This class captures the signature of a specific
first-order language.
|
Class and Description |
---|
FolFormula
The common abstract class for formulas of first-order logic.
|
Class and Description |
---|
Conjunction
The classical conjunction of first-order logic.
|
Disjunction
The classical disjunction of first-order logic.
|
FOLAtom
An atom in first-order logic, i.e.
|
FolFormula
The common abstract class for formulas of first-order logic.
|
FolSignature
This class captures the signature of a specific
first-order language.
|
Class and Description |
---|
Disjunction
The classical disjunction of first-order logic.
|
Class and Description |
---|
FolSignature
This class captures the signature of a specific
first-order language.
|
Class and Description |
---|
Conjunction
The classical conjunction of first-order logic.
|
Disjunction
The classical disjunction of first-order logic.
|
FOLAtom
An atom in first-order logic, i.e.
|
FolFormula
The common abstract class for formulas of first-order logic.
|
FolSignature
This class captures the signature of a specific
first-order language.
|
Class and Description |
---|
FolFormula
The common abstract class for formulas of first-order logic.
|
Class and Description |
---|
FOLAtom
An atom in first-order logic, i.e.
|
FolFormula
The common abstract class for formulas of first-order logic.
|
FolSignature
This class captures the signature of a specific
first-order language.
|
Class and Description |
---|
FolFormula
The common abstract class for formulas of first-order logic.
|
Class and Description |
---|
FOLAtom
An atom in first-order logic, i.e.
|
FolFormula
The common abstract class for formulas of first-order logic.
|
FolSignature
This class captures the signature of a specific
first-order language.
|
Class and Description |
---|
AssociativeFOLFormula
This class captures the common functionalities first order associative formulas like conjunction,
disjunction, etc.
|
Conjunction
The classical conjunction of first-order logic.
|
Contradiction
A contradictory formula.
|
Disjunction
The classical disjunction of first-order logic.
|
ExistsQuantifiedFormula
Exists-quantified first-order logic formula.
|
FOLAtom
An atom in first-order logic, i.e.
|
FolFormula
The common abstract class for formulas of first-order logic.
|
FolSignature
This class captures the signature of a specific
first-order language.
|
ForallQuantifiedFormula
For-All-quantified first-order logic formula.
|
Negation
The classical negation of first-order logic.
|
SpecialFormula
This class captures the common functionalities of the special
formulas tautology and contradiction.
|
Tautology
A tautological formula.
|
Class and Description |
---|
FolFormula
The common abstract class for formulas of first-order logic.
|
Class and Description |
---|
FolFormula
The common abstract class for formulas of first-order logic.
|
FolSignature
This class captures the signature of a specific
first-order language.
|
Class and Description |
---|
FolSignature
This class captures the signature of a specific
first-order language.
|
Class and Description |
---|
Conjunction
The classical conjunction of first-order logic.
|
Disjunction
The classical disjunction of first-order logic.
|
FOLAtom
An atom in first-order logic, i.e.
|
FolFormula
The common abstract class for formulas of first-order logic.
|
FolSignature
This class captures the signature of a specific
first-order language.
|
Class and Description |
---|
FolSignature
This class captures the signature of a specific
first-order language.
|
Class and Description |
---|
FolSignature
This class captures the signature of a specific
first-order language.
|
Class and Description |
---|
FolSignature
This class captures the signature of a specific
first-order language.
|
Class and Description |
---|
FolFormula
The common abstract class for formulas of first-order logic.
|
FolSignature
This class captures the signature of a specific
first-order language.
|
Class and Description |
---|
Conjunction
The classical conjunction of first-order logic.
|
Disjunction
The classical disjunction of first-order logic.
|
FOLAtom
An atom in first-order logic, i.e.
|
FolFormula
The common abstract class for formulas of first-order logic.
|
FolSignature
This class captures the signature of a specific
first-order language.
|
Class and Description |
---|
FolFormula
The common abstract class for formulas of first-order logic.
|
Class and Description |
---|
FolFormula
The common abstract class for formulas of first-order logic.
|
Class and Description |
---|
Conjunction
The classical conjunction of first-order logic.
|
Disjunction
The classical disjunction of first-order logic.
|
FOLAtom
An atom in first-order logic, i.e.
|
FolFormula
The common abstract class for formulas of first-order logic.
|
FolSignature
This class captures the signature of a specific
first-order language.
|
Class and Description |
---|
FolFormula
The common abstract class for formulas of first-order logic.
|
FolSignature
This class captures the signature of a specific
first-order language.
|
Class and Description |
---|
FolSignature
This class captures the signature of a specific
first-order language.
|
Class and Description |
---|
FolSignature
This class captures the signature of a specific
first-order language.
|
Class and Description |
---|
FOLAtom
An atom in first-order logic, i.e.
|
FolSignature
This class captures the signature of a specific
first-order language.
|
Class and Description |
---|
FolFormula
The common abstract class for formulas of first-order logic.
|
FolSignature
This class captures the signature of a specific
first-order language.
|
Class and Description |
---|
FolFormula
The common abstract class for formulas of first-order logic.
|
Class and Description |
---|
Disjunction
The classical disjunction of first-order logic.
|
FOLAtom
An atom in first-order logic, i.e.
|
FolFormula
The common abstract class for formulas of first-order logic.
|
Negation
The classical negation of first-order logic.
|
Class and Description |
---|
Conjunction
The classical conjunction of first-order logic.
|
Disjunction
The classical disjunction of first-order logic.
|
FolFormula
The common abstract class for formulas of first-order logic.
|
Class and Description |
---|
Conjunction
The classical conjunction of first-order logic.
|
Disjunction
The classical disjunction of first-order logic.
|
FOLAtom
An atom in first-order logic, i.e.
|
FolFormula
The common abstract class for formulas of first-order logic.
|
Class and Description |
---|
FOLAtom
An atom in first-order logic, i.e.
|
FolSignature
This class captures the signature of a specific
first-order language.
|
Class and Description |
---|
FOLAtom
An atom in first-order logic, i.e.
|
FolFormula
The common abstract class for formulas of first-order logic.
|
FolSignature
This class captures the signature of a specific
first-order language.
|