Navigation
Logic Group Preprint Series
'
Logic Group Preprint Series
Skip to content
Home
Index
Authors
Goudsmit
Volume
Title
322
On a Problem of Friedman and its Solution by Rybakov: Decidability of the Admissible Rules in Intuitionistic Propositional Logic
Goudsmit
|
Jeroen P.
321
Finite Frames Fail: How Infinity Works Its Way into the Semantics of Admissibility
Goudsmit
|
Jeroen P.
