first-order logic with equality
GPTKB entity
Statements (23)
Predicate | Object |
---|---|
gptkbp:instanceOf |
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 |
=
|
https://www.w3.org/2000/01/rdf-schema#label |
first-order logic with equality
|
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
model theory automated theorem proving |
gptkbp:bfsParent |
gptkb:ZFC
|
gptkbp:bfsLayer |
6
|