WESSEL, DANIEL
WESSEL, DANIEL
DIPARTIMENTO DI INFORMATICA
A General Extension Theorem for Directed-Complete Partial Orders
2018-01-01 Schuster, P; Wessel, D
Algebras of Complemented Subsets
2022-01-01 Petrakis, Iosif; Wessel, Daniel
Cut elimination for entailment relations
2018-01-01 Rinaldi, Davide; Wessel, Daniel
Der Satz von Hahn-Banach per Disjunktionselimination
2019-01-01 Schlagbauer, Konstantin; Schuster, Peter Michael; Wessel, Daniel
Dynamic evaluation of integrity and the computational content of Krull's lemma
2022-01-01 Schuster, Peter; Wessel, Daniel; Yengui, Ihsen
ELIMINATING DISJUNCTIONS BY DISJUNCTION ELIMINATION
2017-01-01 Rinaldi, Davide; Schuster, Peter Michael; Wessel, Daniel
Eliminating disjunctions by disjunction elimination
2018-01-01 Rinaldi, Davide; Schuster, Peter; Wessel, Daniel
EXTENSION BY CONSERVATION. SIKORSKI'S THEOREM
2018-01-01 Rinaldi, D; Wessel, D
Resolving finite indeterminacy
2020-01-01 Schuster, Peter Michael; Wessel, Daniel
Some forms of excluded middle for linear orders
2019-01-01 Schuster, Peter; Wessel, Daniel
Suzumura consistency, an alternative approach
2018-01-01 Schuster, Peter Michael; Wessel, Daniel
Syntax for Semantics: Krull’s Maximal Ideal Theorem
2021-01-01 Schuster, Peter; Wessel, Daniel
The Computational Significance of Hausdorff’s Maximal Chain Principle
2020-01-01 Schuster, Peter Michael; Wessel, Daniel
The Jacobson radical for an inconsistency predicate
2022-01-01 Schuster, P; Wessel, D
The Jacobson radical for an inconsistency predicate
2022-01-01 Schuster, Peter; Wessel, Daniel
The Jacobson Radical of a Propositional Theory
2022-01-01 Fellin, Giulio; Schuster, Peter; Wessel, Daniel
| Titolo | Data di pubblicazione | Autore(i) | File |
|---|---|---|---|
| A General Extension Theorem for Directed-Complete Partial Orders | 1-gen-2018 | Schuster, P; Wessel, D | |
| Algebras of Complemented Subsets | 1-gen-2022 | Petrakis, Iosif; Wessel, Daniel | |
| Cut elimination for entailment relations | 1-gen-2018 | Rinaldi, Davide; Wessel, Daniel | |
| Der Satz von Hahn-Banach per Disjunktionselimination | 1-gen-2019 | Schlagbauer, Konstantin; Schuster, Peter Michael; Wessel, Daniel | |
| Dynamic evaluation of integrity and the computational content of Krull's lemma | 1-gen-2022 | Schuster, Peter; Wessel, Daniel; Yengui, Ihsen | |
| ELIMINATING DISJUNCTIONS BY DISJUNCTION ELIMINATION | 1-gen-2017 | Rinaldi, Davide; Schuster, Peter Michael; Wessel, Daniel | |
| Eliminating disjunctions by disjunction elimination | 1-gen-2018 | Rinaldi, Davide; Schuster, Peter; Wessel, Daniel | |
| EXTENSION BY CONSERVATION. SIKORSKI'S THEOREM | 1-gen-2018 | Rinaldi, D; Wessel, D | |
| Resolving finite indeterminacy | 1-gen-2020 | Schuster, Peter Michael; Wessel, Daniel | |
| Some forms of excluded middle for linear orders | 1-gen-2019 | Schuster, Peter; Wessel, Daniel | |
| Suzumura consistency, an alternative approach | 1-gen-2018 | Schuster, Peter Michael; Wessel, Daniel | |
| Syntax for Semantics: Krull’s Maximal Ideal Theorem | 1-gen-2021 | Schuster, Peter; Wessel, Daniel | |
| The Computational Significance of Hausdorff’s Maximal Chain Principle | 1-gen-2020 | Schuster, Peter Michael; Wessel, Daniel | |
| The Jacobson radical for an inconsistency predicate | 1-gen-2022 | Schuster, P; Wessel, D | |
| The Jacobson radical for an inconsistency predicate | 1-gen-2022 | Schuster, Peter; Wessel, Daniel | |
| The Jacobson Radical of a Propositional Theory | 1-gen-2022 | Fellin, Giulio; Schuster, Peter; Wessel, Daniel |