Prefix title Titel (vorangestellt)
Ao.Univ.Prof. Dr.phil.
 
Full name Familienname, Vorname
Baaz, Matthias
 
Main Affiliation Organisations­zuordnung
 

Results 1-20 of 27 (Search time: 0.002 seconds).

PreviewAuthors / EditorsTitleTypeIssue Date
1Baaz, Matthias ; Ciabattoni, Agata ; Preining, Norbert SAT in monadic Gödel logics: a borderline between decidability and undecidabilityKonferenzbeitrag Inproceedings2009
2Baaz, Matthias ; Cintula, Petr ; Haniková, Zuzana ; Svejdar, Vitezslav Recollections of a non-contradictory logicianBuchbeitrag Book Contribution 2009
3Baaz, Matthias ; Hetzl, Stefan ; Leitsch, Alexander ; Richter, Clemens ; Spohr, Hendrik ; Borwein, J.M. ; Farmer, William Proof Transformation by CERESKonferenzbeitrag Inproceedings 2006
4Baaz, Matthias ; Iemhoff, Rosalie On the proof theory of the existence predicateBuchbeitrag Book Contribution2005
5Baaz, Matthias ; Sutcliffe, Geoff ; Voronkov, Andrei On interpolation in existence logicsKonferenzbeitrag Inproceedings2005
6Baaz, Matthias ; Lolic, Anela Note on Globally Sound Analytic Calculi for Quantifier MacrosKonferenzbeitrag Inproceedings2019
7Baaz, Matthias ; Ong, Luke Note on formal analogical reasoning in the juridical contextKonferenzbeitrag Inproceedings 2005
8Baaz, Matthias ; Ciabattoni, Agata ; Fermüller, Christian ; Dershowitz, Nachum ; Voronkov, Andrei Monadic Fragments of Gödel Logics: Decidability and Undecidability ResultsKonferenzbeitrag Inproceedings 2007
9Baaz, Matthias ; Leitsch, Alexander Methods of Cut-EliminationBuch Book2011
10Lolic, Anela ; Baaz, Matthias Lyndon Interpolation holds for the Prenex ⊃ Prenex Fragment of Gödel LogicKonferenzbeitrag Inproceedings2018
11Baaz, Matthias Herbrand's theorem and the Skolemization of Prenex fragmentsKonferenzbeitrag Inproceedings2005
12Baaz, Matthias ; Preining, Norbert First Order Gödel Logics with propositional quantifiersKonferenzbeitrag Inproceedings2018
13Leitsch, Alexander ; Baaz, Matthias ; Feferman, Solomon ; Sieg, Wilfried Fast Cut-Elimination by CERESBuchbeitrag Book Contribution2010
14Baaz, Matthias ; Leitsch, Alexander ; Feferman, Solomon ; Sieg, Wilfried Fast cut-elimination by CERESBuchbeitrag Book Contribution 2010
15Baaz, Matthias ; Fermüller, Christian ; Kreutzer, Stephan Elementary Elimination of Prenex Cuts in Disjunction-free Intuitionistic LogicKonferenzbeitrag Inproceedings 2015
16Baaz, Matthias ; Lahav, Ori ; Zamansky, Anna Effective finite-valued semantic for labelled calculiKonferenzbeitrag Inproceedings2012
17Baaz, Matthias ; Hetzl, Stefan ; Leitsch, Alexander ; Richter, Clemens ; Spohr, Hendrik Cut-Elimination: Experiments with CERESKonferenzbeitrag Inproceedings2005
18Baaz, Matthias ; Aguilera Ozuna, Juan Pablo Cut Elimination for Gödel Logic with an Operator Adding a ConstantKonferenzbeitrag Inproceedings2016
19Baaz, Matthias ; Ciabattoni, Agata ; Fermüller, Christian ; Cervesato, Iliano ; Veith, Helmut ; Voronkov, Andrei Cut elimination for first order Gödel logic by hyperclause resolutionKonferenzbeitrag Inproceedings2008
20Baaz, Matthias ; Preining, Norbert ; Zach, Richard Completeness of a hypersequent calculus for some first-order Gödel logics with deltaKonferenzbeitrag Inproceedings2006

Results 1-11 of 11 (Search time: 0.01 seconds).