Iris Loeb

16 papers B 1C 1Journal 12Unranked 2
YearRankTypeTitle / Venue / Authors
2017 J jnl
The role of universal language in the early work of Carnap and Tarski.
Synth.
Iris Loeb
2014 J jnl
Towards transfinite type theory: rereading Tarski's Wahrheitsbegriff.
Synth.
Iris Loeb
2014 J jnl
Uniting model theory and the universalist tradition of logic: Carnap's early axiomatics.
Synth.
Iris Loeb
2013 J jnl
Lipschitz functions in constructive reverse mathematics.
Log. J. IGPL
Iris Loeb
2012 J jnl
On Tarski's foundations of the geometry of solids.
Bull. Symb. Log.
Arianna Betti, Iris Loeb
2011 J jnl
Constructive reverse investigations into differential equations.
J. Log. Anal.
Hannes Diener, Iris Loeb
2010 J jnl
Glueing continuous functions constructively.
Arch. Math. Log.
Douglas S. Bridges, Iris Loeb
2009 J jnl
Indecomposability of negative dense subsets of R in Constructive Reverse Mathematics.
Log. J. IGPL
Iris Loeb
2009 J jnl
Sequences of real functions on [0, 1] in constructive reverse mathematics.
Ann. Pure Appl. Log.
Hannes Diener, Iris Loeb
2008 C conf
Factoring Out Intuitionistic Theorems: Continuity Principles and the Uniform Continuity Theorem.
CiE
Iris Loeb
2008 J jnl
Indecomposability of R and R\{0} in Constructive Reverse Mathematics.
Log. J. IGPL
Iris Loeb
2007 — conf
Deduction Graphs with Universal Quantification.
TERMGRAPH@ETAPS
Herman Geuvers, Iris Loeb
2007 J jnl
Natural deduction via graphs: formal definition and computation rules.
Math. Struct. Comput. Sci.
Herman Geuvers, Iris Loeb
2006 B conf
From Deduction Graphs to Proof Nets: Boxes and Sharing in the Graphical Presentation of Deductions.
MFCS
Herman Geuvers, Iris Loeb
2005 — conf
An Interactive Algebra Course with Formalised Proofs and Definitions.
MKM
Andrea Asperti, Herman Geuvers, Iris Loeb, Lionel Elie Mamane, Claudio Sacerdoti Coen
2005 J jnl
Equivalents of the (Weak) Fan Theorem.
Ann. Pure Appl. Log.
Iris Loeb