Indexed multi-succedent calculus with invertible rules for  the constructive logic

Romas Alonderis

doi:10.15388/LMD.1997.38208

Articles

Romas Alonderis

Institute of Mathematics and Informatics

Published 1997-12-15

https://doi.org/10.15388/LMD.1997.38208

PDF

How to Cite

Alonderis, R. (1997) “Indexed multi-succedent calculus with invertible rules for the constructive logic”, Lietuvos matematikos rinkinys, 37(I), pp. 165–170 . doi:10.15388/LMD.1997.38208.

Download Citation

Abstract

There is not abstract.

PDF

This work is licensed under a Creative Commons Attribution 4.0 International License.

Downloads

Download data is not yet available.

Most read articles by the same author(s)

Romas Alonderis, A sequent calculus for propositional temporal logic with time gaps , Lietuvos matematikos rinkinys: Vol. 52 (2011)
Romas Alonderis, Automatization of proof-search for a fragment of the first-order linear tense logic , Lietuvos matematikos rinkinys: Vol. 43 (2003)
Romas Alonderis, Sequent calculus for propositional likelihood logic , Lietuvos matematikos rinkinys: Vol. 46 (2006)
Romas Alonderis, Multi-succedent sequent calculus for intuitionistic epistemic logic , Lietuvos matematikos rinkinys: Vol. 65 (2024): Ser. A
Romas Alonderis, Completeness classes for intuitionistic first-order temporal logic with time gaps , Lietuvos matematikos rinkinys: Vol. 45 (2005)
Romas Alonderis, Structural rules and cut admissibility in a sequent calculus of temporal logic with predicates = and > , Lietuvos matematikos rinkinys: Vol. 42 (2002)
Romas Alonderis, Specialization of loop rules of a sequent calculus of intuitionistic temporal logic with time gaps , Lietuvos matematikos rinkinys: No. III (1999)
Romas Alonderis, Relation between classical and intuitionistic sequent calculi of temporal logic , Lietuvos matematikos rinkinys: Vol. 41 (2001)
Romas Alonderis, On intuitionistic branching tense logic with weak induction , Lietuvos matematikos rinkinys: No. II (1998)

<< < 1 2