Weak logic theory (Q2276950)
From MaRDI portal
scientific article
| Language | Label | Description | Also known as |
|---|---|---|---|
| English | Weak logic theory |
scientific article |
Statements
Weak logic theory (English)
0 references
1991
0 references
Weak logic is an extension of first-order logic to handle partial functions and predicates. In this paper a sequent calculus for weak logic is introduced and its consistency and completeness are proved. Furthermore, a cut elimination theorem and some interpolation theorems are stated and a resolution principle for this logic is elaborated.
0 references
program correctness
0 references
program verification
0 references
system specification
0 references
partial predicate
0 references
extension of first-order logic
0 references
partial functions
0 references
sequent calculus
0 references
weak logic
0 references
cut elimination
0 references
interpolation
0 references
resolution principle
0 references
