Proof Search and Counter Model of Positive Minimal Predicate Logic (Q5415611)
From MaRDI portal
scientific article; zbMATH DE number 6294812
| Language | Label | Description | Also known as |
|---|---|---|---|
| English | Proof Search and Counter Model of Positive Minimal Predicate Logic |
scientific article; zbMATH DE number 6294812 |
Statements
Proof Search and Counter Model of Positive Minimal Predicate Logic (English)
0 references
13 May 2014
0 references
Kripke model
0 references
LJB
0 references
counter model
0 references
proof search
0 references
