О суперинтуиционистских логиках как фрагментах расширений логики доказуемости

@article{Кузнецов1987,
author = {Кузнецов, А.В., Муравицкий, А.Ю.},
journal = {Matematiceskie issledovanija},
keywords = {axiomatization of provability; propositional logics},
language = {rus},
pages = {15-39},
publisher = {Institut Matematiki s Vycislitel'nym Centrom, Akademija Nauk Moldavskoj SSR},
title = {О суперинтуиционистских логиках как фрагментах расширений логики доказуемости},
url = {http://eudml.org/doc/189946},
volume = {98},
year = {1987},
}

TY - JOUR
AU - Кузнецов, А.В.
AU - Муравицкий, А.Ю.
TI - О суперинтуиционистских логиках как фрагментах расширений логики доказуемости
JO - Matematiceskie issledovanija
PY - 1987
PB - Institut Matematiki s Vycislitel'nym Centrom, Akademija Nauk Moldavskoj SSR
VL - 98
SP - 15
EP - 39
LA - rus
KW - axiomatization of provability; propositional logics
UR - http://eudml.org/doc/189946
ER -