MODEL-THEORETIC CHARACTERIZATION OF INTUITIONISTIC PROPOSITIONAL FORMULAS › Research Explorer

MODEL-THEORETIC CHARACTERIZATION OF INTUITIONISTIC PROPOSITIONAL FORMULAS

Research output: Contribution to journal › Article › peer-review

DOI

https://doi.org/10.1017/S1755020312000342
Final published version

Grigory K. Olkhovikov

Original language	English
Pages (from-to)	348-365
Number of pages	18
Journal	Review of Symbolic Logic
Volume	6
Issue number	2
DOIs	https://doi.org/10.1017/S1755020312000342
Publication status	Published - Jun 2013

WoS ResearchAreas Categories

Mathematics, Applied
Mathematics
Logic
Philosophy

ASJC Scopus subject areas

Logic
Philosophy
Mathematics (miscellaneous)

ID: 906596