Finite Frames Fail: How Infinity Works Its Way into the Semantics of Admissibility

Jeroen P. Goudsmit

Research output: Contribution to Journal › Article › Academic › peer-review

Keywords

@article{9fa33753c50449c5892c3b9fdefafa20,

title = "Finite Frames Fail: How Infinity Works Its Way into the Semantics of Admissibility",

keywords = "Intermediate logics, Admissible rules, Finite model property, Projective Heyting algebras",

author = "Goudsmit, {Jeroen P.}",

year = "2016",

month = dec,

doi = "10.1007/s11225-016-9672-1",

language = "English",

volume = "104",

pages = "1191--1204",

journal = "Studia logica",

issn = "0039-3215",

publisher = "Springer Netherlands",

number = "6",

}

TY - JOUR

T1 - Finite Frames Fail: How Infinity Works Its Way into the Semantics of Admissibility

AU - Goudsmit, Jeroen P.

PY - 2016/12

Y1 - 2016/12

KW - Intermediate logics

KW - Admissible rules

KW - Finite model property

KW - Projective Heyting algebras

U2 - 10.1007/s11225-016-9672-1

DO - 10.1007/s11225-016-9672-1

M3 - Article

SN - 0039-3215

VL - 104

SP - 1191

EP - 1204

JO - Studia logica

JF - Studia logica

IS - 6

ER -