Dualized Simple Type Theory (Q2974773)
From MaRDI portal
scientific article
| Language | Label | Description | Also known as |
|---|---|---|---|
| English | Dualized Simple Type Theory |
scientific article |
Statements
Dualized Simple Type Theory (English)
0 references
11 April 2017
0 references
bi-intuitionistic logic
0 references
subtraction
0 references
exclusion
0 references
simple type theory
0 references
dual
0 references
sequent calculus
0 references
consistency
0 references
completeness
0 references
coinduction
0 references
Kripke model
0 references
0 references
0 references
