Континуум нормальных расширений модальной логики доказуемости с интерполяционным свойством.

Л.Л. Максимовa

Sibirskij matematiceskij zurnal (1989)

  • Volume: 30, Issue: 6, page 122-131
  • ISSN: 0037-4466; 1573-9260/e

How to cite

top

Максимовa, Л.Л.. "Континуум нормальных расширений модальной логики доказуемости с интерполяционным свойством.." Sibirskij matematiceskij zurnal 30.6 (1989): 122-131. <http://eudml.org/doc/63208>.

@article{Максимовa1989,
author = {Максимовa, Л.Л.},
journal = {Sibirskij matematiceskij zurnal},
keywords = {provability logic; normal extensions; interpolation property; modal logics; amalgamation; diagonalizable algebras},
language = {rus},
number = {6},
pages = {122-131},
publisher = {Izd. AN SSSR},
title = {Континуум нормальных расширений модальной логики доказуемости с интерполяционным свойством.},
url = {http://eudml.org/doc/63208},
volume = {30},
year = {1989},
}

TY - JOUR
AU - Максимовa, Л.Л.
TI - Континуум нормальных расширений модальной логики доказуемости с интерполяционным свойством.
JO - Sibirskij matematiceskij zurnal
PY - 1989
PB - Izd. AN SSSR
VL - 30
IS - 6
SP - 122
EP - 131
LA - rus
KW - provability logic; normal extensions; interpolation property; modal logics; amalgamation; diagonalizable algebras
UR - http://eudml.org/doc/63208
ER -

NotesEmbed ?

top

You 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.

Only the controls for the widget will be shown in your chosen language. Notes will be shown in their authored language.

Tells the widget how many notes to show per page. You can cycle through additional notes using the next and previous controls.

    
                

Note: Best practice suggests putting the JavaScript code just before the closing </body> tag.