On decidability of a fragment of intuitionistic predicate logic

Jolanta Kaušilaitė; Regimantas Pliuškevičius

doi:10.15388/LMD.1999.35640

Articles

Jolanta Kaušilaitė

Vilnius University

Regimantas Pliuškevičius

Institute of Mathematics and Informatics

Published 1999-12-17

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

PDF

How to Cite

Kaušilaitė , J. and Pliuškevičius, R. (1999) “On decidability of a fragment of intuitionistic predicate logic”, Lietuvos matematikos rinkinys, 39(III), pp. 311–316 . doi:10.15388/LMD.1999.35640.

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 in this journal

Romas Alonderis, Regimantas Pliuškevičius, Sequent systems for PLTL , Lietuvos matematikos rinkinys: Vol. 54 (2013): Ser. A
Romas Alonderis, Regimantas Pliuškevičius, Aida Pliuškevičienė, Finite sequent calculi for PLTL , Lietuvos matematikos rinkinys: Vol. 56 (2015): Ser. A
Regimantas Pliuškevičius, Aurimas Paulius Girčys, Saturation method for reflexive common knowledge logic , Lietuvos matematikos rinkinys: Vol. 53 (2012): Ser. A
Regimantas Pliuškevičius, Method of marks for propositional linear temporal logic , Lietuvos matematikos rinkinys: Vol. 55 (2014): Ser. A
Aurimas Paulius Girčys, Regimantas Pliuškevičius, Two complete finitary sequent calculi for reflexive common knowledge , Lietuvos matematikos rinkinys: Vol. 54 (2013): Ser. A
Romas Alonderis, Regimantas Pliuškevičius, Cut, invariant rule, and loop-check free sequent calculus for PLTL , Lietuvos matematikos rinkinys: Vol. 52 (2011)
Julius Andrikonis, Regimantas Pliuškevičius, Contraction-free calculi for modal logics S5 and KD45 , Lietuvos matematikos rinkinys: Vol. 52 (2011)
Regimantas Pliuškevičius , Termination of derivations for minimal tense logic , Lietuvos matematikos rinkinys: Vol. 50 (2009)
Regimantas Pliuškevičius , Aida Pliuškevičienė, A method of marks and indices for linear modal logic , Lietuvos matematikos rinkinys: Vol. 50 (2009)
Regimantas Pliuškevičius , Loop-free verification of termination of derivation for a fragment of dynamic logic , Lietuvos matematikos rinkinys: Vol. 48 (2008)

1 2 > >>