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 550 (Search time: 0.002 seconds).

PreviewAuthor(s)TitleTypeIssue Date
1Kawakami Pacheco, Leonardo Epistemic possibility in intuitionistic epistemic logicPresentation Vortrag11-Dec-2023
2Kawakami Pacheco, Leonardo Game Semantics for the Constructive mu-calculusPresentation Vortrag16-Nov-2023
3Baaz, Matthias Andrew's Skolemization my shorten proofs non-elementarilyPresentation Vortrag13-Nov-2023
4Kawakami Pacheco, Leonardo Towards a characterization of the μ-calculus' collapse to modal logicPresentation Vortrag10-Nov-2023
5Fermüller, Christian ; Freiman, Robert ; Lang, Timo Achim Game Models of Producer-Consumer Interactions and Substructural Sequent SystemsPresentation Vortrag27-Sep-2023
6Kawakami Pacheco, Leonardo The reverse mathematics of ω-automataPresentation Vortrag9-Sep-2023
7Sauras Altuzarra, Lorenzo A geometric description of the factors of Fermat numbersPresentation VortragJul-2023
8Sauras Altuzarra, Lorenzo Covers and point-latticesPresentation Vortrag4-May-2023
9Sauras Altuzarra, Lorenzo Aplicaciones recientes del método de generalización de Baaz a la teoría de númerosPresentation Vortrag30-Mar-2023
10Rossegger, Dino Pairs of Structures: Variations and ApplicationPresentation Vortrag28-Mar-2023
11Baaz, Matthias ; Lolic, Anela First-Order Interpolation Derived from Propositional InterpolationPresentation VortragNov-2022
12Baaz, Matthias Epsilon CalculusPresentation Vortrag22-Sep-2022
13Baaz, 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
14Baaz, Matthias Gödel logics - the dominance of orderPresentation VortragSep-2022
15Sauras Altuzarra, Lorenzo Special lattices of orthogonal projectorsPresentation VortragSep-2022
16Baaz-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
17Baaz, Matthias Teaching LogicPresentation Vortrag1-Aug-2022
18Baaz, Matthias The proof-theoretic analysis of incorrect proofsPresentation VortragAug-2022
19Rossegger-2022-The Structural Complexity of Models of Arithmetic-ao.pdf.jpgRossegger, Dino The structural complexity of models of arithmeticPresentation Vortrag 1-Jul-2022
20Rossegger-2022-The structural complexity of models of arithmetic-ao.pdf.jpgRossegger, Dino The structural complexity of models of arithmeticPresentation Vortrag Apr-2022