Focusing and proof search
Add to your list(s)
Download to your calendar using vCal
If you have a question about this talk, please contact Alexander Gurney.
A focused proof system eliminates inessential nondeterminism in proof construction by staging derivations in alternating phases of invertible and non-invertible rules. I will present the main ideas for focalizing a proof system and some connections to backward- and forward-chaining proof search.
This talk is part of the Logic and Semantics for Dummies series.
This talk is included in these lists:
Note that ex-directory lists are not shown.
|