Iris Loeb

Publication Activity (10 Years)

Years Active: 2005-2017
Publications (10 Years): 1

Top Topics

Mathematical Framework

Formal Language

Basis Functions

Computational Model

Top Venues

Bull. Symb. Log.

Publications

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