Please use this identifier to cite or link to this item: http://hdl.handle.net/10995/102438
Title: Model-theoretic characterization of intuitionistic predicate formulas
Authors: Olkhovikov, G. K.
Issue Date: 2014
Publisher: Oxford University Press
Citation: Olkhovikov G. K. Model-theoretic characterization of intuitionistic predicate formulas / G. K. Olkhovikov. — DOI 10.1093/logcom/ext014 // Journal of Logic and Computation. — 2014. — Vol. 24. — Iss. 4. — P. 809-829.
Abstract: The article introduces notions of first-order asimulation and first-order k-asimulation, which extend notions of asimulation and k-asimulation introduced in Olkhovikov (2012, Review of Symbolic Logic, 6, 348-365) onto the level of intuitionistic predicate logic. We then prove that a first-order formula is equivalent to a standard translation of an intuitionistic predicate formula iff it is invariant with respect to first-order k-asimulations for some k, and then that a first-order formula is equivalent to a standard translation of an intuitionistic predicate formula iff it is invariant with respect to first-order asimulations. Finally, it is proved that a first-order formula is equivalent to a standard translation of an intuitionistic predicate formula over a class of intuitionistic models (intuitionistic models with constant domain) iff it is invariant with respect to first-order asimulations between intuitionistic models (intuitionistic models with constant domain). © 2013 The Author.
Keywords: CONSTANT DOMAINS
FIRST-ORDER LOGIC
INTUITIONISTIC LOGIC
MODAL CHARACTERIZATION THEOREM
MODEL THEORY
FORMAL LOGIC
CHARACTERIZATION THEOREMS
FIRST ORDER LOGIC
FIRST-ORDER FORMULAS
INTUITIONISTIC LOGIC
INTUITIONISTIC PREDICATE LOGIC
MODEL THEORY
MODEL-THEORETIC
SYMBOLIC LOGIC
EQUIVALENCE CLASSES
URI: http://hdl.handle.net/10995/102438
Access: info:eu-repo/semantics/openAccess
SCOPUS ID: 84905178425
PURE ID: 422536
fc20e329-6326-4f54-a6ff-94b5cb2624fa
ISSN: 0955792X
DOI: 10.1093/logcom/ext014
Appears in Collections:Научные публикации, проиндексированные в SCOPUS и WoS CC

Files in This Item:
File Description SizeFormat 
2-s2.0-84905178425.pdf261,8 kBAdobe PDFView/Open


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