Алгебраическое доказательство сепарационного свойства для доказуемостно-интуиционистского исчисления
Matematiceskij sbornik (1986)
- Volume: 173, Issue: 3, page 403-412
- ISSN: 0368-8666
Access Full Article
top
How to cite
topМуравицкий, А.Ю.. "Алгебраическое доказательство сепарационного свойства для доказуемостно-интуиционистского исчисления." Matematiceskij sbornik 173.3 (1986): 403-412. <http://eudml.org/doc/71816>.
@article{Муравицкий1986,
author = {Муравицкий, А.Ю.},
journal = {Matematiceskij sbornik},
keywords = {proof-intuitionistic calculus; modal propositional calculus; separation property; pseudoboolean algebra},
language = {rus},
number = {3},
pages = {403-412},
publisher = {Tipogr. Lissnera i Sobko},
title = {Алгебраическое доказательство сепарационного свойства для доказуемостно-интуиционистского исчисления},
url = {http://eudml.org/doc/71816},
volume = {173},
year = {1986},
}
TY - JOUR
AU - Муравицкий, А.Ю.
TI - Алгебраическое доказательство сепарационного свойства для доказуемостно-интуиционистского исчисления
JO - Matematiceskij sbornik
PY - 1986
PB - Tipogr. Lissnera i Sobko
VL - 173
IS - 3
SP - 403
EP - 412
LA - rus
KW - proof-intuitionistic calculus; modal propositional calculus; separation property; pseudoboolean algebra
UR - http://eudml.org/doc/71816
ER -
NotesEmbed ?
topYou must be logged in to post comments.
To embed these notes on your page include the following JavaScript code on your page where you want the notes to appear.