Class and Description |
---|
PossibleWorld
This class represents a possible world of propositional logic, i.e.
|
Class and Description |
---|
PossibleWorld
This class represents a possible world of propositional logic, i.e.
|
Class and Description |
---|
NicePossibleWorld
Wrapper for the PossibleWorld providing better representation mechanisms, it knows all
the possible propositions (the signature) and therefore provides a complete representation that
maps a boolean to the Proposition.
|
Class and Description |
---|
NicePossibleWorld
Wrapper for the PossibleWorld providing better representation mechanisms, it knows all
the possible propositions (the signature) and therefore provides a complete representation that
maps a boolean to the Proposition.
|
PossibleWorld
This class represents a possible world of propositional logic, i.e.
|
Class and Description |
---|
PossibleWorld
This class represents a possible world of propositional logic, i.e.
|
Class and Description |
---|
PossibleWorld
This class represents a possible world of propositional logic, i.e.
|
Class and Description |
---|
FuzzyInterpretation
A fuzzy interpretation for propositional logic.
|
PossibleWorld
This class represents a possible world of propositional logic, i.e.
|
PriestWorld
A three-valued interpretation for propositional logic from
Priest's three valued logic (3VL) [Priest, G.: Logic of paradox.
|
Class and Description |
---|
NicePossibleWorld
Wrapper for the PossibleWorld providing better representation mechanisms, it knows all
the possible propositions (the signature) and therefore provides a complete representation that
maps a boolean to the Proposition.
|
PossibleWorld
This class represents a possible world of propositional logic, i.e.
|
PriestWorld.TruthValue
The three truth values.
|
Class and Description |
---|
PossibleWorld
This class represents a possible world of propositional logic, i.e.
|
Class and Description |
---|
PossibleWorld
This class represents a possible world of propositional logic, i.e.
|