Daniel Misselbeck-Wessel

According to our database, Daniel Misselbeck-Wessel authored at least 14 papers between 2017 and 2023.

Collaborative distances:

• Dijkstra number of five.
• Erdős number of five.

2023

Maximal elements with minimal logic.

Daniel Misselbeck-Wessel

Inf. Process. Lett., August, 2023

Radical theory of Scott-open filters.

Daniel Misselbeck-Wessel, Peter Schuster

Theor. Comput. Sci., February, 2023

2022

A formal approach to Menger's theorem.

Roberta Bonacina, Daniel Misselbeck-Wessel

Reports Math. Log., November, 2022

The Jacobson radical for an inconsistency predicate.

Peter Schuster, Daniel Misselbeck-Wessel

Comput., 2022

The Jacobson radical of a Propositional Theory.

Giulio Fellin, Peter Schuster, Daniel Misselbeck-Wessel

Bull. Symb. Log., 2022

Algebras of Complemented Subsets.

Iosif Petrakis, Daniel Misselbeck-Wessel

Proceedings of the Revolutions and Revelations in Computability, 2022

2020

Resolving finite indeterminacy: A definitive constructive universal prime ideal theorem.

Peter Schuster, Daniel Misselbeck-Wessel

Proceedings of the LICS '20: 35th Annual ACM/IEEE Symposium on Logic in Computer Science, 2020

The Computational Significance of Hausdorff's Maximal Chain Principle.

Peter Schuster, Daniel Misselbeck-Wessel

Proceedings of the Beyond the Horizon of Computability, 2020

2019

Some forms of excluded middle for linear orders.

Peter Schuster, Daniel Misselbeck-Wessel

Math. Log. Q., 2019

Cut elimination for entailment relations.

Davide Rinaldi, Daniel Misselbeck-Wessel

Arch. Math. Log., 2019

2018

A General Extension Theorem for Directed-Complete Partial Orders.

Peter Schuster, Daniel Misselbeck-Wessel

Reports Math. Log., 2018

Extension by Conservation. Sikorski's Theorem.

Davide Rinaldi, Daniel Misselbeck-Wessel

Log. Methods Comput. Sci., 2018

Suzumura Consistency, an Alternative Approach.

Peter Schuster, Daniel Misselbeck-Wessel

FLAP, 2018

2017

Eliminating Disjunctions by Disjunction Elimination.

Davide Rinaldi, Peter Schuster, Daniel Misselbeck-Wessel

Bull. Symb. Log., 2017