VSL 2014: VIENNA SUMMER OF LOGIC 2014

LATD ON FRIDAY, JULY 18TH: TALK VIEW

Days:
previous day
next day
all days

View: with abstractssession overviewside by side with other conferences

9:00
9:30
10:00
10:30
11:00
11:30
12:00
12:30
13:00
13:30
14:00
14:30
15:00
15:30
16:00
16:30
17:00
17:30
18:00
08:45-09:15
Relatively filtral quasivarieties
James Raftery
09:15-09:45
On logics of varieties and logics of semilattices
Josep Maria Font, Tommaso Moraschini
09:45-10:15
Congruential deductive systems associated with equationally orderable varieties
Ramon Jansana
08:45-09:15
Semantial and syntactial charaterisation of some extensions of the class of MV-algebras
Krystyna Mruczek-Nasieniewska
09:15-09:45
The space of directions of a polyhedron
Vincenzo Marra, Daniel McNeill, Andrea Pedrini
09:45-10:15
Interpreting Lukasiewicz logic into Intuitionistic logic
Vincenzo Marra, Daniel Mcneill, Andrea Pedrini
10:45-11:45
The Range of Realization Which modal logics have explicit counter parts
Melvin Fitting
11:45-12:45
Tutorial: Fuzzy Description Logics (Part 1)
Franz Baader
14:30-15:30
First-Order Logics and Truth Degrees
George Metcalfe
15:30-16:00
Classification of germinal MV-algebras
Leonardo Manuel Cabrer
16:30-17:00
Cut-free calculus for second-order {G\"odel} logic
Ori Lahav, Arnon Avron
17:00-17:30
Poof Search and Co-NP completeness for Many-Valued Logics
Franco Montagna, Mattia Bongini, Agata Ciabattoni
17:30-18:00
Cut and completion?
Sam van Gool, Rosalie Iemhoff
16:30-17:00
Definability of truth predicates in abstract algebraic logic
Tommaso Moraschini
17:00-17:30
Generalizing the Leibniz and Suszko operators
Hugo Albuquerque, Josep Maria Font, Ramon Jansana
17:30-18:00
Church-style type theories over finitary weakly implicative logics
Libor Behounek
10:15-10:45 Coffee Break
13:00-14:30 Lunch Break
16:00-16:30 Coffee Break
Disclaimer | Powered by EasyChair Smart Program