19TH INTERNATIONAL CONFERENCE ON LOGIC FOR PROGRAMMING, ARTIFICIAL INTELLIGENCE AND REASONING

ALCS PROGRAM

Saturday, December 14th, 2013

Saturday's program is also available with abstracts.

08:30-09:30 Session 1
Chair: Clint Van Alten
08:30
James Raftery
On the Algebraization of Non-finitary Logics (abstract)
09:00
Ramon Jansana
On Deductive Systems Associated with Equationally Orderable Quasivarieties (abstract)
09:30-10:00Coffee Break
10:00-12:00 Session 2B
Chair: Petr Cintula
10:00
Petr Cintula, Rostislav Horcik and Carles Noguera
The Quest for the Basic Fuzzy Logic (abstract)
10:30
Esko Turunen
Short Communication: Complete MV-Algebra Valued Pavelka Logic (abstract)
11:00
Sándor Jenei
Co-Rotation, Co-Rotation-Annihilation, and Involutive Ordinal Sum Constructions of Residuated Semigroups (abstract)
11:30
Ivo Duntsch, Ewa Orlowska and Clint Van Alten
Discrete Dualities for n-potent MTL and BL-Algebras (abstract)
12:00-14:00Lunch
14:00-15:30 Session 3D
Chair: Carles Noguera
14:00
Tomasz Kowalski
Representations for Ramsey Relation Algebras (abstract)
14:30
Luca Spada and Vincenzo Marra
An Isomorphism Criterion for Colimits of Sequences of Finitely Presented Objects (abstract)
15:00
Petr Cintula and Carles Noguera
A Completeness Theorem for Two-Layer Modal Logics (abstract)
15:30-16:00Coffee Break
16:00-17:00 Session 4B
Chair: James Raftery
16:00
Willem Conradie and Andrew Craig
Algorithmic-Algebraic Canonicity for Mu-Calculi (abstract)
16:30
Christoph Benzmueller
Cut-free Calculi for Challenge Logics in a Lazy Way (abstract)