Constructing a normal form for Property Theory (Q5234704)
From MaRDI portal
scientific article; zbMATH DE number 7111175
| Language | Label | Description | Also known as |
|---|---|---|---|
| English | Constructing a normal form for Property Theory |
scientific article; zbMATH DE number 7111175 |
Statements
Constructing a normal form for Property Theory (English)
0 references
1 October 2019
0 references
normal form
0 references
atomic formula
0 references
property theory
0 references
truth predicate
0 references
revision process
0 references
