The simple substitution property for superintuitionistic propositional logics and its relation to the separability property
-
Published:2003-04-30
Issue:2
Volume:67
Page:377-404
-
ISSN:1064-5632
-
Container-title:Izvestiya: Mathematics
-
language:
-
Short-container-title:Izv. Math.
Subject
General Mathematics