Statements (17)
| Predicate | Object |
|---|---|
| gptkbp:instanceOf |
type of logic
|
| gptkbp:appliesTo |
gptkb:logic
gptkb:classical_logic predicate logic intuitionistic logic |
| gptkbp:contrastsWith |
non-monotonic logic
|
| gptkbp:defines |
A logic is monotonic if, whenever a conclusion can be derived from a set of premises, it can still be derived if more premises are added.
|
| gptkbp:field |
gptkb:logic
gptkb:philosophy |
| https://www.w3.org/2000/01/rdf-schema#label |
Monotonic logic
|
| gptkbp:property |
adding new premises does not reduce the set of derivable conclusions
|
| gptkbp:relatedConcept |
entailment
deductive closure |
| gptkbp:usedIn |
automated reasoning
formal proof systems |
| gptkbp:bfsParent |
gptkb:Defeasible_logic
|
| gptkbp:bfsLayer |
5
|