| Title |
On intuitionistic branching tense logic with weak induction |
| Authors |
Alonderis, Romas |
| DOI |
10.15388/LMD.1998.37921 |
| Full Text |
|
| Is Part of |
Lietuvos matematikos rinkinys.. Vilnius : Vilniaus universiteto leidykla. 1998, t. 2, p. 295-301.. ISSN 0132-2818. eISSN 2335-898X |
| Abstract [eng] |
In the paper, the first-order branching tense logic calculus is given: LB J with the weak induction, that is to say with the axiom (A ∧ A O ☐ A) ⊃ ☐ A instead of the induction axiom (A ∧ ☐ (A ⊃ O A)) ⊃ ☐ A. The syntactical cut elimination theorem, Harrop's theorem and the interpolation theorem is proved here with respect to the LB J calculus. |
| Published |
Vilnius : Vilniaus universiteto leidykla |
| Type |
Journal article |
| Language |
English |
| Publication date |
1998 |
| CC license |
|
