A finitely axiomatized formalization of predicate calculus with equality (Q1906674)
From MaRDI portal
 | This is the item page for this Wikibase entity, intended for internal use and editing purposes. Please use this page instead for the normal view: A finitely axiomatized formalization of predicate calculus with equality |
scientific article
| Language | Label | Description | Also known as |
|---|---|---|---|
| English | A finitely axiomatized formalization of predicate calculus with equality |
scientific article |
Statements
A finitely axiomatized formalization of predicate calculus with equality (English)
0 references
4 February 1996
0 references
completeness
0 references
finite axiomatization
0 references
formalization of first-order predicate calculus with equality
0 references
condensed detachment
0 references
Zermelo-Fraenkel set theory
0 references
resolution-based theorem provers
0 references
