Hrafn Valt\'yr Oddsson

Identifiers

• name variant Hrafn Valt\'yr Oddsson 0.60 · backfill

Papers (2)

1. Cardinality in a paraconsistent and paracomplete set theory math.LO · 2026 · author #1
2. Constructive proofs for the standard translation of many-sorted to unsorted predicate logic math.LO · 2026 · author #1

Mentions

• 2603.18216 #1 · arxiv_oai · confidence 0.70 Hrafn Valt\'yr Oddsson