Daniel Misselbeck-Wessel

17 papers A* 1C 2Journal 14
YearRankTypeTitle / Venue / Authors
2026 J jnl
Partial Valuations Hide the Contaminating Value.
Australas. J. Log.
Daniel Misselbeck-Wessel
2024 J jnl
Complemented subsets and Boolean-valued, partial functions.
Comput.
Daniel Misselbeck-Wessel, Iosif Petrakis
2023 J jnl
Maximal elements with minimal logic.
Inf. Process. Lett.
Daniel Misselbeck-Wessel
2023 J jnl
Radical theory of Scott-open filters.
Theor. Comput. Sci.
Daniel Misselbeck-Wessel, Peter Schuster
2022 J jnl
A formal approach to Menger's theorem.
Reports Math. Log.
Roberta Bonacina, Daniel Misselbeck-Wessel
2022 C conf
Algebras of Complemented Subsets.
CiE
Iosif Petrakis, Daniel Misselbeck-Wessel
2022 J jnl
The Jacobson radical for an inconsistency predicate.
Comput.
Peter Schuster, Daniel Misselbeck-Wessel
2022 J jnl
The Jacobson radical of a Propositional Theory.
Bull. Symb. Log.
Giulio Fellin, Peter Schuster, Daniel Misselbeck-Wessel
2020 A* conf
Resolving finite indeterminacy: A definitive constructive universal prime ideal theorem.
LICS
Peter Schuster, Daniel Misselbeck-Wessel
2020 C conf
The Computational Significance of Hausdorff's Maximal Chain Principle.
CiE
Peter Schuster, Daniel Misselbeck-Wessel
2019 J jnl
Cut elimination for entailment relations.
Arch. Math. Log.
Davide Rinaldi, Daniel Misselbeck-Wessel
2019 J jnl
Some forms of excluded middle for linear orders.
Math. Log. Q.
Peter Schuster, Daniel Misselbeck-Wessel
2018 J jnl
A General Extension Theorem for Directed-Complete Partial Orders.
Reports Math. Log.
Peter Schuster, Daniel Misselbeck-Wessel
2018 J jnl
Extension by Conservation. Sikorski's Theorem.
Log. Methods Comput. Sci.
Davide Rinaldi, Daniel Misselbeck-Wessel
2018 J jnl
Suzumura Consistency, an Alternative Approach.
FLAP
Peter Schuster, Daniel Misselbeck-Wessel
2017 J jnl
Eliminating Disjunctions by Disjunction Elimination.
Bull. Symb. Log.
Davide Rinaldi, Peter Schuster, Daniel Misselbeck-Wessel
2016 J jnl
Extension by Conservation. Sikorski's Theorem.
CoRR
Davide Rinaldi, Daniel Misselbeck-Wessel