More Website Templates @ TemplateMonster.com - February 10, 2014!
Czech Gathering of Logicians 2023
June 1 - 2, 2023, Ostrava
IT4I, University of Ostrava
Programme
The programme started on Thursday, June 1 at 9:30am and concluded on Friday, June 2 at 3:30pm.
The recommended arrival day was Wednesday, May 31.
Download the programme (PDF)
Abstracts
Download the book of abstracts (PDF)
Invited speakers
Tadeusz Ciecierski: Demonstrative Uses
Raheleh Jalali: What Do Nice Proof Systems Look Like?
Tomasz Kowalski: Edge Colourings of Complete Graphs and Representations of Certain Non-Associative Relation Algebras
Jiří Raclavský: Partial Type Theory TT* with Extensions
Contributed talks
- Marie Duží: Beta-conversion, Syntactic vs. Semantic Computing, and Dual Procedures
- Karel Fiala & Petra Murinová: Graded Peterson's Square of Opposition as Immediate Inference
- Zuzana Haniková: Łukasiewicz Logic, Rational Pavelka Logic, and Logics with Graded Syntax
- Emil Jeřábek: On the Complexity of Addition
- Jitka Kadlečíková: Porphyrian Containment Logic
- Chun-Yu Lin: Many-Valued Predicate Lifting and Nabla Modalities
- Josef Menšík: Two Types of Structures in Mathematics
- Vilém Novák: On the Ultraproduct Theorem in Fuzzy Type Theory
- Ivo Pezlar: A New Justification for the Law of Pseudo-Scotus
- Antonio Piccolomini d'Aragona: Schematic Validity and Completeness in Prawitz's Semantics
- Michele Pra Baldi & Adam Přenosil: Equational Definability of Logical Filters
- Vít Punčochář: Embedded Analytic Containment
- Zuzana Rybaříková: Mathematical Logic in the History of Logic: Łukasiewicz’s Contribution and Its Reception
- Igor Sedlár: Adding Weights to Kleene Algebra
- Kateřina Trlifajová: Bolzano's Measurable Numbers
Steering committee
Marta Bílková (Czech Academy of Sciences)
Petr Cintula (Czech Academy of Sciences)
Zuzana Haniková (Czech Academy of Sciences)
Emil Jeřábek (Czech Academy of Sciences)
Ondrej Majer (Czech Academy of Sciences)
Programme committee
Libor Běhounek (University of Ostrava, chair)
Martina Číhalová (Palacký University Olomouc)
Antonín Dvořák (University of Ostrava)
Zuzana Haniková (Czech Academy of Sciences)
Rostislav Horčík (Czech Technical University)
Emil Jeřábek (Czech Academy of Sciences)
Vojtěch Kolman (Charles University in Prague)
Jan Paseka (Masaryk University Brno)
Vít Punčochář (Czech Academy of Sciences)
Organizing committee
Martina Daňková (University of Ostrava, chair)
Libor Běhounek (University of Ostrava)
Antonín Dvořák (University of Ostrava)
Karel Fiala (University of Ostrava)
Petra Murinová (University of Ostrava)
Hana Zámečníková (University of Ostrava)