SOME MODEL THEORY OF GUARDED NEGATION (Q4647097)
From MaRDI portal
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
0 references
