Name Card

Full name Familienname, Vorname
PREINING, Norbert
 
Main Affiliation Organisations­zuordnung
 

Own Publications Eigene Publikationen


Results 1-20 of 49 (Search time: 0.001 seconds).

PreviewAuthor(s)TitleTypeIssue Date
1Baaz, Matthias ; Fermüller, Christian ; Preining, Norbert Cut-Elimination for a Hypersequent Calculus for First-Order Gödel Logic over (0,1) with DeltaPresentation VortragSep-2022
2Baaz-2022-Cut-Elimination for a Hypersequent Calculus for First-Order Go...-smur.pdf.jpgBaaz, Matthias ; Fermüller, Christian ; Preining, Norbert Cut-Elimination for a Hypersequent Calculus for First-Order Gödel Logic over (0,1) with DeltaPresentation Vortrag Sep-2022
3Baaz, Matthias ; Preining, Norbert First Order Gödel Logics with propositional quantifiersKonferenzbeitrag Inproceedings2018
4Baaz, Matthias ; Preining, Norbert On the Classification of First Order Gödel LogicsArtikel Article 2018
5Beckmann, Arnold ; Preining, Norbert Hyper Natural Deduction for Gödel Logic - A natural deduction system for parallel reasoningArtikel Article 2018
6Baaz, Matthias ; Preining, Norbert Gödel Logics and the Fully Boxed Fragment of LTLPräsentation Presentation2017
7Preining, Norbert Classification of SAT and VAL in Gödel LogicsPräsentation Presentation2017
8Baaz, Matthias ; Preining, Norbert On the Classification of First Order Gödel LogicsPräsentation Presentation2017
9Baaz, Matthias ; Preining, Norbert Gödel logics and the fully boxed fragment of LTLArtikel Article2017
10Baaz, Matthias ; Bou, Felix ; Preining, Norbert Characterization of decidable monadic Gödel logics: validity and satifaiabilityPräsentation Presentation2013
11Baaz, Matthias ; Ciabattoni, Agata ; Preining, Norbert First-order satisfiability in Gödel logics: an NP-complete fragmentArtikel Article 2011
12Baaz, Matthias ; Preining, Norbert Quantified propositional logics and quantifier eliminiationPräsentation Presentation2010
13Baaz, Matthias ; Ciabattoni, Agata ; Preining, Norbert SAT in monadic Gödel logics: a borderline between decidability and undecidabilityPräsentation Presentation2009
14Preining, Norbert Semantic for first order Gödel logics - the 9-headed hydraPräsentation Presentation2009
15Baaz, Matthias ; Ciabattoni, Agata ; Preining, Norbert SAT in monadic Gödel logics: a borderline between decidability and undecidabilityKonferenzbeitrag Inproceedings2009
16Kroonenberg, Siep ; Kotucha, Reinhard ; Preining, Norbert The new TeX live installerPräsentation Presentation2008
17Preining, Norbert TeX live's new infrastructurePräsentation Presentation2008
18Preining, Norbert Continuous Fraissé conjecturePräsentation Presentation2008
19Preining, Norbert Introduction to Gödel logicsPräsentation Presentation2008
20Preining, Norbert TeX live 2008 and the TeX live managerPräsentation Presentation2008

Contributing Publications Mitbeteiligte Publikationen


Results 1-1 of 1 (Search time: 0.001 seconds).

PreviewAuthor(s)TitleTypeIssue Date
1Fermüller, Christian ; Roschger, Christoph Extending Giles's Game for Lukasiewicz Logic to Fuzzy QuantificationKonferenzbeitrag Inproceedings2012