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 381-400 of 840 (Search time: 0.001 seconds).

PreviewAuthor(s)TitleTypeIssue Date
381Hetzl, Stefan ; Straßburger, Lutz Herbrand-ConfluencePreprint Preprint2013
382Baaz, Matthias ; Ciabattoni, Agata ; Fermüller, Christian Theorem proving for prenex Gödel logic with Delta: checking validity and unsatisfiabilityArtikel Article 6-Mar-2012
383Zamansky, Anna Modular construction of cut-free calculi for paraconsistent logicsPräsentation Presentation2012
384Baaz, Matthias Validity and satisfiabilityPräsentation Presentation2012
385Zamansky, Anna On applications of non-deterministic semantics for proof theoretical investigationsPräsentation Presentation2012
386Zamansky, Anna Inconsistency-tolerance in knowledge-based systems by dissimilaritiesPräsentation Presentation2012
387Baaz, Matthias Epsilon theorems and non-classical logicsPräsentation Presentation2012
388Baaz, Matthias ; Ciabattoni, Agata Proof theory for non-classical logics: negative resultsPräsentation Presentation2012
389Kuich, Werner Semirings: a basis for mathematical automata and language theoryPräsentation Presentation2012
390Baaz, Matthias ; Fasching, Oliver An analytic calculus for Gödel logics with an operator that shifts truth valuesPräsentation Presentation2012
391Kuich, Werner Semirings: a basis for mathematical automata and language theoryPräsentation Presentation2012
392Zamansky, Anna Applications of non-determinism in proof -theoryPräsentation Presentation2012
393Baaz, Matthias Satisfiability in Gödel logicsPräsentation Presentation2012
394Baaz, Matthias ; Lahav, Ori ; Zamansky, Anna Effective finite-valued semantic for labelled calculiPräsentation Presentation2012
395Baaz, Matthias Origins and aims of proof theoryPräsentation Presentation2012
396Baaz, Matthias Mathematik zwischen Traum und Wirklichkeit: der Traum von der Allwissenheit - von Aristoteles bis GödelPräsentation Presentation2012
397Baaz, Matthias Towards a proof theory of analogical reasoningPräsentation Presentation2012
398Baaz, Matthias Sequents of relations and first order logicPräsentation Presentation2012
399Baaz, Matthias On the limits of analyticityPräsentation Presentation2012
400Ciabattoni, Agata ; Baaz, Matthias Proof theory for non-classical logics: a negative resultPräsentation Presentation2012