Weak logic theory (Q2276950)
From MaRDI portal
!
This is the item page for this Wikibase entity, intended for internal use and editing purposes. Please use the normal view instead:
scientific article; zbMATH DE number 4193652
| Language | Label | Description | Also known as |
|---|---|---|---|
| default for all languages | No label defined |
||
| English | Weak logic theory |
scientific article; zbMATH DE number 4193652 |
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
0.7659329771995544
0 references
0.7561857104301453
0 references
