Forschungsbereich Computational Logic

View Statistics Email Alert RSS Feed

Details

Organization Name (de) Name der Organisation (de)
E104-02 - Forschungsbereich Computational Logic
 
Code Kennzahl
E104-02
 
Type of Organization Organisationstyp
Research Division
 
Parent OrgUnit Übergeordnete Organisation
Active Aktiv
 

OrgUnit's Publications


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

PreviewAuthors / EditorsTitleTypeIssue Date
1Sauras Altuzarra, Lorenzo Correction to: Some applications of Baaz's generalization method to the study of the factors of Fermat numbersArticle Artikel11-Feb-2023
2C.R.Cimadore ; L.A.Rueda ; Sauras Altuzarra, Lorenzo ; N.Thome Lattice properties of partial orders for complex matrices via orthogonal projectorsArticle Artikel 26-Dec-2022
3Altuzarra, Lorenzo Sauras Some properties of the factors of Fermat numbersArticle Artikel 15-Nov-2022
4Baaz, Matthias ; Lolic, Anela First-Order Interpolation Derived from Propositional InterpolationPresentation VortragNov-2022
5Baaz, Matthias Epsilon CalculusPresentation Vortrag22-Sep-2022
6Baaz, 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
7Baaz-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
8Baaz, Matthias Gödel logics - the dominance of orderPresentation VortragSep-2022
9Sauras Altuzarra, Lorenzo Special lattices of orthogonal projectorsPresentation VortragSep-2022
10Baaz, Matthias Teaching LogicPresentation Vortrag1-Aug-2022
11Baaz, Matthias The proof-theoretic analysis of incorrect proofsPresentation VortragAug-2022
12Rossegger-2022-The Structural Complexity of Models of Arithmetic-ao.pdf.jpgRossegger, Dino The structural complexity of models of arithmeticPresentation Vortrag 1-Jul-2022
13Rossegger-2022-The structural complexity of models of arithmetic-ao.pdf.jpgRossegger, Dino The structural complexity of models of arithmeticPresentation Vortrag Apr-2022
14Cerna-2021-Journal of Automated Reasoning-vor.pdf.jpgCerna, David M. ; Leitsch, Alexander ; Lolic, Anela Schematic Refutations of Formula SchemataArtikel Article Jun-2021
15Aguilera, Juan Pablo ; Bydzovsky, Jan ; Fernández-Duque, David A non-hyperarithmetical Gödel logic.Artikel Article2021
16Aguilera, Juan P ; Lubarsky, Robert S Feedback HyperjumpArtikel Article 2021
17Aguilera, J. P. Long Borel GamesArtikel Article 2021
18Freund, Anton ; Rathjen, Michael ; Weiermann, Andreas ; Aguilera Ozuna, Juan Pablo Ackermann and Goodstein go functorial.Artikel Article2021
19Baaz, Matthias ; Lolic, Anela Towards a proof theory for Henkin quantifiersArtikel Article 2021
20Baaz, Matthias ; Leitsch, Alexander ; Lolic, Anela An abstract form of the first epsilon theoremArtikel Article 2021