SOME MODEL THEORY OF GUARDED NEGATION (Q4647097)
From MaRDI portal
 | This is a Wikibase entity. It is used by other Wikibase entities, but it is not meant to be viewed directly. See SOME MODEL THEORY OF GUARDED NEGATION for the user view. |
scientific article; zbMATH DE number 6997541
| Language | Label | Description | Also known as |
|---|---|---|---|
| English | SOME MODEL THEORY OF GUARDED NEGATION |
scientific article; zbMATH DE number 6997541 |
Statements
SOME MODEL THEORY OF GUARDED NEGATION (English)
0 references
4 January 2019
0 references
guarded negation
0 references
interpolation
0 references
rewriting
0 references
