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
08:30
On the Algebraization of Non-finitary Logics (abstract)
09:00
On Deductive Systems Associated with Equationally Orderable Quasivarieties (abstract)
09:30-10:00Coffee Break
10:00-12:00 Session 2B
10:00
The Quest for the Basic Fuzzy Logic (abstract)
10:30
Short Communication: Complete MV-Algebra Valued Pavelka Logic (abstract)
11:00
Co-Rotation, Co-Rotation-Annihilation, and Involutive Ordinal Sum Constructions of Residuated Semigroups (abstract)
11:30
Discrete Dualities for n-potent MTL and BL-Algebras (abstract)
12:00-14:00Lunch
14:00-15:30 Session 3D
14:00
Representations for Ramsey Relation Algebras (abstract)
14:30
An Isomorphism Criterion for Colimits of Sequences of Finitely Presented Objects (abstract)
15:00
A Completeness Theorem for Two-Layer Modal Logics (abstract)
15:30-16:00Coffee Break
16:00-17:00 Session 4B
16:00
Algorithmic-Algebraic Canonicity for Mu-Calculi (abstract)
16:30
Cut-free Calculi for Challenge Logics in a Lazy Way (abstract)