Uwe Petersen

Available identifiers

zbMath Open petersen.uweMaRDI QIDQ1411661

List of research outcomes

Publication	Date of Publication	Type
ON ZARDINI’S RULES FOR MULTIPLICATIVE QUANTIFICATION AS THE SOURCE OF CONTRA(DI)CTIONS	2024-01-11	Paper
Dialetheias and numbers distinct from themselves	2023-07-28	Paper
Enhancing induction in a contraction free logic with unrestricted abstraction: from \(\mathbf{Z}\) to \(\mathbf{Z}_2\)	2022-10-18	Paper
Is cut-free logic fit for unrestricted abstraction?	2022-04-25	Paper
\(\mathbf L^i \mathbf D^Z_\lambda\) as a basis for PRA	2003-10-29	Paper
Logic without contraction as based on inclusion and unrestricted abstraction	2001-02-14	Paper
https://portal.mardi4nfdi.de/entity/Q4856956	1996-06-06	Paper
https://portal.mardi4nfdi.de/entity/Q3220550	1983-01-01	Paper

Research outcomes over time

Doctoral students

No records found.

Known relations from the MaRDI Knowledge Graph

Property	Value
MaRDI profile type	MaRDI person profile
instance of	human

This page was built for person: Uwe Petersen