( en | de | ru )

 

Disambiguation of "Palmgren, Erik"

Author of the publication

copydeleteadd this publication to your clipboard
Introduction: The philosophy of logical consequence and inference.

, , and . Synthese, 187 (3): 817-820 (2012)

Please choose a person to relate this publication to

To differ between persons with the same name, the academic degree and the title of an important publication will be displayed. You can also use the button next to the name to display some publications already assigned to the person.

Urban Palmgren

Ernst Palmgren

John Palmgren

Myrna Palmgren

Nilgün Erikli

 

Other publications of authors with the same name

A generalized cut characterization of the fullness axiom in CZF., , and . Logic Journal of the IGPL, 21 (1): 63-76 (2013)A Sheaf-Theoretic Foundation for Nonstandard Analysis.. Ann. Pure Appl. Log., 85 (1): 69-86 (1997)Double sequences, almost Cauchyness and BD-N., , and . Logic Journal of the IGPL, 20 (1): 349-354 (2012)A Construction of Type: Type in Martin-Löf's Partial Type Theory with One Universe.. J. Symb. Log., 56 (3): 1012-1015 (1991)Introduction: The philosophy of logical consequence and inference., , and . Synthese, 187 (3): 817-820 (2012)Continuity on the real line and in formal spaces.. From sets and types to topology and analysis, volume 48 of Oxford logic guides, Oxford University Press, (2005)Metric Boolean algebras and constructive measure theory., and . Arch. Math. Log., 41 (7): 687-704 (2002)Formal continuity implies uniform continuity near compact images on metric spaces.. Math. Log. Q., 60 (1-2): 66-69 (2014)Minimal Models of Heyting Arithmetic., and . J. Symb. Log., 62 (4): 1448-1460 (1997)From type theory to setoids and back.. Math. Struct. Comput. Sci., 32 (10): 1283-1312 (November 2022)