Deciding simple infinity axiom sets with one binary relation by means of superpostulates (Q2096446)
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: Deciding simple infinity axiom sets with one binary relation by means of superpostulates |
scientific article; zbMATH DE number 7614514
| Language | Label | Description | Also known as |
|---|---|---|---|
| English | Deciding simple infinity axiom sets with one binary relation by means of superpostulates |
scientific article; zbMATH DE number 7614514 |
Statements
Deciding simple infinity axiom sets with one binary relation by means of superpostulates (English)
0 references
9 November 2022
0 references
first-order logic
0 references
decision problem
0 references
complete theories
0 references
infinity axioms
0 references
reduction classes
0 references
dyadic logic
0 references
0 references
0.8341991
0 references
0 references
0.82861507
0 references
0.8263166
0 references
0.82470465
0 references
0.8234572
0 references
0.8233525
0 references
0 references
0.82190174
0 references
