We found a match
Your institution may have rights to this item. Sign in to continue.
- Title
A Tableau Calculus for Hájek's Logic BL.
- Authors
Montagna, Franco; Pinna, G. Michele; Tiezzi, Elisa B. P.
- Abstract
We introduce a tableau calculus for Háajek's Basic Logic BL. This calculus has many of the desirable properties of a proof system: it is cut‐free, it has the subformula property, correctness of proof can be checked in P‐time, and the number of symbols in any branch of the reduction tree of any sequent Γ is polynomial in the number of symbols of Γ. As a corollary we obtain an alternative proof of Co‐NP completeness of BL.
- Subjects
MATHEMATICAL logic; MATHEMATICAL proofs; CALCULUS; MATHEMATICAL analysis; NUMERICAL analysis
- Publication
Journal of Logic & Computation, 2003, Vol 13, Issue 2, p241
- ISSN
0955-792X
- Publication type
Article
- DOI
10.1093/logcom/13.2.241