Standard

MODEL-THEORETIC CHARACTERIZATION OF INTUITIONISTIC PROPOSITIONAL FORMULAS. / Olkhovikov, Grigory K.
в: Review of Symbolic Logic, Том 6, № 2, 06.2013, стр. 348-365.

Результаты исследований: Вклад в журнал › Статья › Рецензирование

Harvard

Olkhovikov, GK 2013, 'MODEL-THEORETIC CHARACTERIZATION OF INTUITIONISTIC PROPOSITIONAL FORMULAS', Review of Symbolic Logic, Том. 6, № 2, стр. 348-365. https://doi.org/10.1017/S1755020312000342

APA

Olkhovikov, G. K. (2013). MODEL-THEORETIC CHARACTERIZATION OF INTUITIONISTIC PROPOSITIONAL FORMULAS. Review of Symbolic Logic, 6(2), 348-365. https://doi.org/10.1017/S1755020312000342

Vancouver

Olkhovikov GK. MODEL-THEORETIC CHARACTERIZATION OF INTUITIONISTIC PROPOSITIONAL FORMULAS. Review of Symbolic Logic. 2013 июнь;6(2):348-365. doi: 10.1017/S1755020312000342

Author

Olkhovikov, Grigory K. / MODEL-THEORETIC CHARACTERIZATION OF INTUITIONISTIC PROPOSITIONAL FORMULAS. в: Review of Symbolic Logic. 2013 ; Том 6, № 2. стр. 348-365.

BibTeX

@article{89f5b6d2abb34aaea04c4c5faa49442e,
title = "MODEL-THEORETIC CHARACTERIZATION OF INTUITIONISTIC PROPOSITIONAL FORMULAS",
author = "Olkhovikov, {Grigory K.}",
year = "2013",
month = jun,
doi = "10.1017/S1755020312000342",
language = "English",
volume = "6",
pages = "348--365",
journal = "Review of Symbolic Logic",
issn = "1755-0203",
publisher = "Cambridge University Press",
number = "2",

}

RIS

TY - JOUR

T1 - MODEL-THEORETIC CHARACTERIZATION OF INTUITIONISTIC PROPOSITIONAL FORMULAS

AU - Olkhovikov, Grigory K.

PY - 2013/6

Y1 - 2013/6

UR - http://www.scopus.com/inward/record.url?scp=84878330076&partnerID=8YFLogxK

UR - https://gateway.webofknowledge.com/gateway/Gateway.cgi?GWVersion=2&SrcAuth=tsmetrics&SrcApp=tsm_test&DestApp=WOS_CPL&DestLinkType=FullRecord&KeyUT=000319285400009

U2 - 10.1017/S1755020312000342

DO - 10.1017/S1755020312000342

M3 - Article

AN - SCOPUS:84878330076

VL - 6

SP - 348

EP - 365

JO - Review of Symbolic Logic

JF - Review of Symbolic Logic

SN - 1755-0203

IS - 2

ER -

ID: 906596