Baaz, Matthias

Network Lab View Statistics Email Alert RSS Feed

Name Card

Full name Familienname, Vorname
Baaz, Matthias
 
Main Affiliation Organisations­zuordnung
 

Own Publications Eigene Publikationen

Results 161-180 of 233 (Search time: 0.003 seconds).

PreviewAuthor(s)TitleTypeIssue Date
161Baaz, Matthias On the generalization of calculationsPräsentation Presentation2007
162Baaz, Matthias The decidability status of monadic Gödel logics and their fragmentsPräsentation Presentation2007
163Baaz, Matthias Decidability and undecidability of the extendability of partial proofPräsentation Presentation2007
164Baaz, Matthias Cut Elimination by resolutionPräsentation Presentation2007
165Baaz, Matthias ; Ciabattoni, Agata ; Fermüller, Christian Monadic fragments of Gödel logics: decidability and undecability resultsPräsentation Presentation2007
166Baaz, Matthias Analytic and synthetic aspects of cut-eliminationPräsentation Presentation2007
167Baaz, Matthias Cut-elimination and epsilon-eliminationPräsentation Presentation2007
168Baaz, Matthias Generalization and formal analogyPräsentation Presentation2007
169Baaz, Matthias Decidability problems of partial proof descriptionsPräsentation Presentation2007
170Baaz, Matthias Towards a proof theory of analogical reasoningPräsentation Presentation2007
171Baaz, Matthias ; Metcalfe, George Proof Theory for First Order Łukasiewicz LogicArtikel Article2007
172Baaz, Matthias ; Hetzl, Stefan ; Leitsch, Alexander ; Richter, Clemens ; Spohr, Hendrik System Description: The Cut-Elimination System CERESKonferenzbeitrag Inproceedings2006
173Baaz, Matthias Herbrand's theorem and Skolem functionsPräsentation Presentation2006
174Baaz, Matthias Herbrand's theorem and Skolem functionsPräsentation Presentation2006
175Baaz, Matthias ε calculus and Skolem functionsPräsentation Presentation2006
176Baaz, Matthias On the schema of equivalencePräsentation Presentation2006
177Baaz, Matthias Fast cut-elimination for intuitionistic logic with disjunction free prenex cutsPräsentation Presentation2006
178Baaz, Matthias Proof theory of Skolem functionsPräsentation Presentation2006
179Baaz, Matthias ; Fischer, Heinz ; Sigmund, Karl ; Weselka, Daniel Eröffnungsansprache des Symposiums "Horizons of Truth Logics, Foundations of Mathematics and the Quest for Understanding the Nature of KnowledgePräsentation Presentation2006
180Baaz, Matthias Gödel und das UnendlichePräsentation Presentation2006