Login / Signup
Uwe Petersen
ORCID
Publication Activity (10 Years)
Years Active: 2000-2023
Publications (10 Years): 3
Top Topics
Sound And Complete Axiomatization
Set Theory
Multi Valued
Predicate Logic
Top Venues
Arch. Math. Log.
Ann. Pure Appl. Log.
Rev. Symb. Log.
</>
Publications
</>
Uwe Petersen
On Zardini's Rules for multiplicative Quantification as the Source of contra(di)Ctions.
Rev. Symb. Log.
16 (4) (2023)
Uwe Petersen
Enhancing induction in a contraction free logic with unrestricted abstraction: from $\mathbf {Z}$ to $\mathbf {Z}_2$.
Arch. Math. Log.
61 (7-8) (2022)
Uwe Petersen
Is cut-free logic fit for unrestricted abstraction?
Ann. Pure Appl. Log.
173 (6) (2022)
Uwe Petersen
L i D Z lambda as a basis for PRA.
Arch. Math. Log.
42 (7) (2003)
Uwe Petersen
Logic Without Contraction as Based on Inclusion and Unrestricted Abstraction.
Stud Logica
64 (3) (2000)