„Relation between classical and intuitionistic sequent calculi of temporal logic /“
Title
Relation between classical and intuitionistic sequent calculi of temporal logic /
Translation of Title
Ryšys tarp klasikinių ir intuicionistinių laiko logikos sekvencinių skaičiavimų.
Authors
Alonderis, Romas
DOI
10.15388/LMR.2001.34620
Full Text
Is Part of
Lietuvos matematikos rinkinys.. Vilnius. 2001, t. 41, spec. nr., p. 403-407.. ISSN 0132-2818. eISSN 2335-898X
Published
Vilnius
Type
Journal article
Language
English
Publication date
2001
CC license