A Lindström theorem for intuitionistic propositional logic

Guillermo Badia Hernandez; Grigory Olkhovikov

doi:10.1215/00294527-2019-0030

A Lindström theorem for intuitionistic propositional logic

Guillermo Badia Hernandez
, Grigory Olkhovikov

Institute for Mathematical Methods in Medicine and Data Based Modeling

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

Original language	English
Pages (from-to)	11-30
Number of pages	20
Journal	Notre Dame Journal of Formal Logic
Volume	61
Issue number	1
DOIs	https://doi.org/10.1215/00294527-2019-0030
Publication status	Published - Jan 2020

Fields of science

101 Mathematics
101013 Mathematical logic
101024 Probability theory
102001 Artificial intelligence
102003 Image processing
102019 Machine learning
603109 Logic
202027 Mechatronics

JKU Focus areas

Digital Transformation

Access to Document

10.1215/00294527-2019-0030

Cite this

@article{25920784864d433f8e81ebaada5bc4b5,

title = "A Lindstr{\"o}m theorem for intuitionistic propositional logic",

author = "\{Badia Hernandez\}, Guillermo and Grigory Olkhovikov",

year = "2020",

month = jan,

doi = "10.1215/00294527-2019-0030",

language = "English",

volume = "61",

pages = "11--30",

journal = "Notre Dame Journal of Formal Logic",

issn = "1939-0726",

publisher = "Duke University Press",

number = "1",

}

TY - JOUR

T1 - A Lindström theorem for intuitionistic propositional logic

AU - Badia Hernandez, Guillermo

AU - Olkhovikov, Grigory

PY - 2020/1

Y1 - 2020/1

UR - https://www.scopus.com/pages/publications/85084801289

U2 - 10.1215/00294527-2019-0030

DO - 10.1215/00294527-2019-0030

M3 - Article

SN - 1939-0726

VL - 61

SP - 11

EP - 30

JO - Notre Dame Journal of Formal Logic

JF - Notre Dame Journal of Formal Logic

IS - 1

ER -

A Lindström theorem for intuitionistic propositional logic

Fields of science

JKU Focus areas

Access to Document

Other files and links

Cite this