Program Extraction from Normalization Proofs
- 期刊名称Studia Logica
- 作者Ulrich Berger; Stefan Berghofer; Pierre Letouzey; Helmut Schwichtenberg
- 卷第82卷
- 期第1期
- 印刷ISSN0039-3215
- 电子ISSN1572-8730
- 文件大小306.45KB
- 发表时间2006-02
- DOI10.1007/s11225-006-6604-5
- 页码25-49
Sahlqvist theorem for modal fixed point logicNick Bezhanishvili; Ian Hodkinson · 2012
Sahlqvist Correspondence for Modal mu-calculusJohan van Benthem, Nick Bezhanishvili, Ian Hodkinson · 2012
All Normal Extensions of S5-Squared Are Finitely AxiomatizableNick Bezhanishvili and Ian Hodkinson · Studia Logica: An International Journal for Symbolic Logic · 2004
Dedicated to the Memory of Leo Esakia || Sahlqvist Correspondence for Modal mu-calculusJohan van Benthem, Nick Bezhanishvili and Ian Hodkinson · Studia Logica: An International Journal for Symbolic Logic · 2012
Preservation of Sahlqvist fixed point equations in completions of relativized fixed point Boolean algebras with operatorsBezhanishvili, Nick; Hodkinson, Ian · Algebra universalis · 2012
Structured meanings and reflexive domainsSerge Lapierre · Studia Logica · 1992
The ω-ruleMichael Thau · Studia Logica · 1992
The logic of linear toleranceGiorgie Dzhaparidze · Studia Logica · 1992
Revision algebra semantics for conditional logicJohn Pais · Studia Logica · 1992
Books receivedStudia Logica · 1992
From the editorsM. E. Adams; W. Dziobiak · Studia Logica · 1996
FreeQ-distributive latticesRoberto Cignoli · Studia Logica · 1996
Priestley duality for some subalgebra latticesGeorges Hansoul · Studia Logica · 1996