Relational and partial variable sets and basic predicate logic (Q5687319)
From MaRDI portal
scientific article; zbMATH DE number 957322
| Language | Label | Description | Also known as |
|---|---|---|---|
| English | Relational and partial variable sets and basic predicate logic |
scientific article; zbMATH DE number 957322 |
Statements
Relational and partial variable sets and basic predicate logic (English)
0 references
24 April 1997
0 references
presheaf
0 references
doctrine
0 references
Beck condition
0 references
Frobenius condition
0 references
relational variable sets
0 references
first-order intuitionistic and co-intuitionistic logic
0 references
