first-order logic with equality
GPTKB entity
Statements (23)
| Predicate | Object |
|---|---|
| gptkbp:instanceOf |
gptkb:logical_system
|
| gptkbp:alsoKnownAs |
FOL with equality
|
| gptkbp:compact |
compact
|
| gptkbp:completeness |
complete
|
| gptkbp:decidability |
undecidable
|
| gptkbp:distinctFrom |
first-order logic without equality
|
| gptkbp:expressivity |
can express identity of objects
|
| gptkbp:extendsTo |
gptkb:first-order_logic
|
| gptkbp:hasAxiom |
reflexivity of equality
substitutivity of equality symmetry of equality transitivity of equality |
| gptkbp:hasPredicate |
=
|
| gptkbp:includes |
equality predicate
|
| gptkbp:Löwenheim–Skolem_property |
has
|
| gptkbp:relatedStandard |
gptkb:Enderton,_Elements_of_Set_Theory
gptkb:Hodges,_A_Shorter_Model_Theory |
| gptkbp:usedIn |
gptkb:logic
gptkb:model_theory automated theorem proving |
| gptkbp:bfsParent |
gptkb:ZFC
|
| gptkbp:bfsLayer |
6
|
| https://www.w3.org/2000/01/rdf-schema#label |
first-order logic with equality
|