Standard

Model-theoretic characterization of intuitionistic predicate formulas. / Olkhovikov, Grigory K.
в: Journal of Logic and Computation, Том 24, № 4, 08.2014, стр. 809-829.

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

Harvard

Olkhovikov, GK 2014, 'Model-theoretic characterization of intuitionistic predicate formulas', Journal of Logic and Computation, Том. 24, № 4, стр. 809-829. https://doi.org/10.1093/logcom/ext014

APA

Olkhovikov, G. K. (2014). Model-theoretic characterization of intuitionistic predicate formulas. Journal of Logic and Computation, 24(4), 809-829. https://doi.org/10.1093/logcom/ext014

Vancouver

Olkhovikov GK. Model-theoretic characterization of intuitionistic predicate formulas. Journal of Logic and Computation. 2014 авг.;24(4):809-829. doi: 10.1093/logcom/ext014

Author

Olkhovikov, Grigory K. / Model-theoretic characterization of intuitionistic predicate formulas. в: Journal of Logic and Computation. 2014 ; Том 24, № 4. стр. 809-829.

BibTeX

@article{fc20e32963264f54a6ff94b5cb2624fa,
title = "Model-theoretic characterization of intuitionistic predicate formulas",
keywords = "constant domains, First-order logic, intuitionistic logic, modal characterization theorem, model theory",
author = "Olkhovikov, {Grigory K.}",
year = "2014",
month = aug,
doi = "10.1093/logcom/ext014",
language = "English",
volume = "24",
pages = "809--829",
journal = "Journal of Logic and Computation",
issn = "0955-792X",
publisher = "Oxford University Press",
number = "4",

}

RIS

TY - JOUR

T1 - Model-theoretic characterization of intuitionistic predicate formulas

AU - Olkhovikov, Grigory K.

PY - 2014/8

Y1 - 2014/8

KW - constant domains

KW - First-order logic

KW - intuitionistic logic

KW - modal characterization theorem

KW - model theory

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

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

U2 - 10.1093/logcom/ext014

DO - 10.1093/logcom/ext014

M3 - Article

AN - SCOPUS:84905178425

VL - 24

SP - 809

EP - 829

JO - Journal of Logic and Computation

JF - Journal of Logic and Computation

SN - 0955-792X

IS - 4

ER -

ID: 422536