No label defined (Q4283237)
From MaRDI portal
scientific article; zbMATH DE number 515734
| Language | Label | Description | Also known as |
|---|---|---|---|
| English | No label defined |
scientific article; zbMATH DE number 515734 |
Statements
1 July 1996
0 references
partial logic
0 references
partial higher order logic
0 references
simply-typed \(\lambda\)-calculus
0 references
partial objects
0 references
partially ordered domains
0 references
three truth values
0 references
refutationally complete tableaux method
0 references
cut-free sequent calculus
0 references
