О суперинтуиционистских логиках как фрагментах расширений логики доказуемости
А.В. Кузнецов; А.Ю. Муравицкий
Matematiceskie issledovanija (1987)
- Volume: 98, page 15-39
- ISSN: 0542-9994
Access Full Article
topHow to cite
topКузнецов, А.В., and Муравицкий, А.Ю.. "О суперинтуиционистских логиках как фрагментах расширений логики доказуемости." Matematiceskie issledovanija 98 (1987): 15-39. <http://eudml.org/doc/189946>.
@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 -
NotesEmbed ?
topTo embed these notes on your page include the following JavaScript code on your page where you want the notes to appear.