Please use this identifier to cite or link to this item: http://hdl.handle.net/10995/26809
Title: Model-theoretic characterization of intuitionistic propositional formulas
Authors: Olkhovikov, G. K.
Issue Date: 2013
Citation: Olkhovikov G. K. Model-theoretic characterization of intuitionistic propositional formulas / G. K. Olkhovikov // Review of Symbolic Logic. — 2013. — Vol. 6. — № 2. — P. 348-365.
Abstract: Notions of k-asimulation and asimulation are introduced as asymmetric counterparts to k-bisimulation and bisimulation, respectively. It is proved that a first-order formula is equivalent to a standard translation of an intuitionistic propositional formula iff it is invariant with respect to k-asimulations for some k, and then that a first-order formula is equivalent to a standard translation of an intuitionistic propositional formula iff it is invariant with respect to asimulations. Finally, it is proved that a first-order formula is equivalent to a standard translation of an intuitionistic propositional formula over the class of intuitionistic Kripke models iff it is invariant with respect to asimulations between intuitionistic models. © 2012 Association for Symbolic Logic.
URI: http://hdl.handle.net/10995/26809
SCOPUS ID: 84878330076
WOS ID: 000319285400009
PURE ID: 906596
ISSN: 1755-0203
DOI: 10.1017/S1755020312000342
Appears in Collections:Научные публикации, проиндексированные в SCOPUS и WoS CC

Files in This Item:
File Description SizeFormat 
scopus-2013-0043.pdf139,35 kBAdobe PDFView/Open


Items in DSpace are protected by copyright, with all rights reserved, unless otherwise indicated.