Lietuvos Matematikos Rinkinys (Dec 1999)

On decidability of a fragment of intuitionistic predicate logic

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

Affiliations

Jolanta Kaušilaitė: Vilnius University
Regimantas Pliuškevičius: Institute of Mathematics and Informatics

DOI: https://doi.org/10.15388/LMD.1999.35640
Journal volume & issue: Vol. 39, no. III

Abstract

There is not abstract.

Published in Lietuvos Matematikos Rinkinys

ISSN: 0132-2818 (Print); 2335-898X (Online)
Publisher: Vilnius University Press
Country of publisher: Lithuania
LCC subjects: Science: Mathematics
Website: https://www.journals.vu.lt/LMR/

About the journal