Title | ||
---|---|---|
A Cut-free Sequent Calculus for the Logic of Constant Domains with a Limited Amount of Duplications |
Abstract | ||
---|---|---|
Cut-free sequent calculi for the predicate intermediate logic CD of constant domains have appeared only very recently in literature, even if this logic has been axiomiatized since the early seventies. In the present paper we propose a different cut-free sequent calculus for CD, in which a great care is devoted in avoiding duplications of formulas. |
Year | DOI | Venue |
---|---|---|
1999 | 10.1093/jigpal/7.6.733 | Logic Journal of the IGPL |
Keywords | Field | DocType |
tableau calculus,context-rule,cut-free sequent calculus,duplications | Discrete mathematics,Natural deduction,Geometry of interaction,Proof calculus,Sequent calculus,Noncommutative logic,Sequent,Cut-elimination theorem,Intermediate logic,Calculus,Mathematics | Journal |
Volume | Issue | ISSN |
7 | 6 | 1367-0751 |
Citations | PageRank | References |
3 | 0.44 | 9 |
Authors | ||
2 |
Name | Order | Citations | PageRank |
---|---|---|---|
Camillo Fiorentini | 1 | 121 | 21.00 |
Pierangelo Miglioli | 2 | 227 | 26.86 |