Binary Refinement Implies Discrete Exponentiation
- 期刊名称Studia Logica
- 作者Peter Aczel; Laura Crosilla; Hajime Ishihara; Erik Palmgren; Peter Schuster
- 卷第84卷
- 期第3期
- 印刷ISSN0039-3215
- 电子ISSN1572-8730
- 文件大小165.42KB
- 发表时间2006-12
- DOI10.1007/s11225-006-9014-9
- 页码361-368
同标题推荐
同期刊推荐
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