MODEL-THEORETIC CHARACTERIZATION OF INTUITIONISTIC PROPOSITIONAL FORMULAS

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

7 Цитирования (Scopus)
Язык оригиналаАнглийский
Страницы (с-по)348-365
Число страниц18
ЖурналReview of Symbolic Logic
Том6
Номер выпуска2
DOI
СостояниеОпубликовано - июн 2013

Предметные области ASJC Scopus

  • Logic
  • Philosophy
  • Mathematics (miscellaneous)

Предметные области WoS

  • Математика, Прикладная
  • Математика
  • Логика
  • Философия

Fingerprint Подробные сведения о темах исследования «MODEL-THEORETIC CHARACTERIZATION OF INTUITIONISTIC PROPOSITIONAL FORMULAS». Вместе они формируют уникальный семантический отпечаток (fingerprint).

Цитировать