65 citations · 69 across the 3 of their papers we have counts for
4 papers
Semantics, Specification Logic, and Hoare Logic of Exact Real Computation
Sewon Park, Franz Brauße, Pieter Collins +7
We propose a simple imperative programming language, ERC, that features arbitrary real numbers as primitive data type, exactly. Equipped with a denotational semantics, ERC provides…
First-order Goedel logics
Matthias Baaz, Norbert Preining, Richard Zach
First-order Goedel logics are a family of infinite-valued logics where the sets of truth values V are closed subsets of [0, 1] containing both 0 and 1. Different such sets V in gen…
Continuous Fraisse Conjecture
Arnold Beckmann, Martin Goldstern, Norbert Preining
We investigate the relation of countable closed subsets of the reals with respect to continuous monotone embeddability; we show that there are exactly aleph_1 many equivalence clas…
Characterization of the Axiomatizable Prenex Fragments of First-Order Goedel Logics
Matthias Baaz, Norbert Preining, Richard Zach
The prenex fragments of first-order infinite-valued Goedel logics are classified. It is shown that the prenex Goedel logics characterized by finite and by uncountable subsets of [0…