• Home Page
• Important dates
• Committees & Contact
• Invited speakers & Tutorials
• Accepted Talks
• Scientific Program
• Venue
• Social program
• Registration
• Previous LATD conferences
• Vienna Summer of Logic
• Gödel Fellowship

LATD 2014 will be part of the Vienna Summer of Logic, the largest convention in the history of logic.

Accepted talks

• Daniel Schwartz, "Qualified Syllogisms with Fuzzy Predicates"
• Mattia Bongini, Agata Ciabattoni and Franco Montagna, "Poof Search and Co-NP completeness for Many-Valued Logics"
• Clint Van Alten, "Embedding partially ordered sets into distributive lattices" Tomas Kroupa and Tomas Valla, "Constructing many-valued logical functions with small influence of their variables"
• Revaz Grigolia, Antonio Di Nola and Giacomo Lenzi, "On the Logic of Perfect MV-algebras"
• Arnold Beckmann and Norbert Preining, "Separating intermediate predicate logics of well-founded and dually well-founded structures by monadic sentences"
• Felix Bou, "Introducing an exotic MTL-chain
• Matteo Bianchi, "Trakhtenbrot theorem and first-order axiomatic extensions of MTL"
• Gary Mar, "Chaotic Fuzzy Liars, Degrees of Truth, and Fractal Images of Paradox"
• Ori Lahav and Arnon Avron, "Cut-free calculus for second-order Gödel logic"
• Hugo Albuquerque, Josep Maria Font and Ramon Jansana, "Generalizing the Leibniz and Suszko operators"
• Serafina Lapenta and Ioana Leustean, "On tensor product in Lukasiewicz logic"
• Alexei Muravitsky, "Semantic information and fuzziness"
• Jonas Rogger, "Decidability of order-based modal logics"
• Esko Turunen, "Connecting Fuzzy Sets and Pavelka's Fuzzy Logic"
• Joan Gispert, "Quasivarieties of MV-algebras and structurally complete Lukasiewicz logics"
• Thomas Vetterlein and Anna Zamansky, "An application of distance-based approximate reasoning for diagnostic questionnaires in healthcare"
• Amanda Vidal Wandelmer, Francesc Esteva and Lluis Godo, "Axiomatising a fuzzy modal logic over the standard product algebra"
• Alex Citkin, "A meta-Logic of multiple-conclusion rules"
• Rob Arthan and Paulo Oliva, "On Pocrims and Hoops"
• Laura Schnüriger, "Bases for admissible rules for fragments of RMt"
• Agata Ciabattoni, Nikolaos Galatos and Revantha Ramanayake, "Embeddings into BiFL-algebras and conservativity"
• Nick Bezhanishvili, Nick Galatos and Luca Spada, "Canonical formulas for k-potent residuated lattices"
• Stefano Aguzzoli, Denisa Diaconescu and Tommaso Flaminio, "A method for generalizing finite automata arising from Stone-like dualities"
• Serafina Lapenta and Ioana Leustean, "MV-algebras with product and the Pierce-Birkhoff conjecture"
• Tomasz Polacik, "A semantic approach to conservativity"
• Daniel Eckert and Frederik Herzberg, "Boolean-valued judgment aggregation"
• Wojciech Dzik and Piotr Wojtylak, "Admissible rules and almost structural completeness in some first-order modal logics"
• Ramon Jansana, "Congruential deductive systems associated with equationally orderable varieties"
• Leonardo Manuel Cabrer, "Classification of germinal MV-algebras"
• Nikolaos Galatos and Rostislav Horcik, "Densification via polynomial extensions "
• Vincenzo Marra, Daniel Mcneill and Andrea Pedrini, "Interpreting Lukasiewicz logic into Intuitionistic logic"
• Vincenzo Marra, Daniel Mcneill and Andrea Pedrini, "The space of directions of a polyhedron"
• Sam van Gool and Rosalie Iemhoff, "Cut and completion"
• Pilar Dellunde, Angel Garcia-Cerdana and Carles Noguera, "Advances on elementary equivalence in model theory of fuzzy logics"
• Anatolij Dvurecenskij, "Construction of effect algebras and MV-algebras from po-groups and $\ell$-groups"
• Umberto Rivieccio and Andrew Craig, "Many-valued modal logic over residuated lattices via duality"
• Matteo Mio and Alex Simpson, "Coupling games for Lukasiewicz logic"
• M. Andrew Moshier, "Bitopological Duality and Three-valued Logic"
• Frode Bjordal, "Truth degrees in the interval [-1,1] for the librationist system \pounds"
• Arnon Avron, "A Semi-relevant, Paraconsistent Dual of {\L}ukasiewicz Logic"
• Jeroen Goudsmit, "The Admissible Rules of Subframe Logics"
• Sandor Jenei, "Recent advances in the structural description of involutive FL$_e$-chains"
• Josep Maria Font and Tommaso Moraschini, "On logics of varieties and logics of semilattices"
• Karel Chvalovsky, "Undecidability of consequence relation in Full Non-associative Lambek Calculus"
• Rossella Marrano, "Ordinal foundation for \L{}ukasiewicz semantics"
• Ming Chai, "Five-valued LTL for Runtime Verification"
• Krystyna Mruczek-Nasieniewska, "Semantial and syntactial charaterisation of some extensions of the class of MV-algebras"
• Tommaso Moraschini, "Definability of truth predicates in abstract algebraic logic"
• Adam Prenosil, "De Morgan logics with a notion of consistency"
• Zuzana Hanikova and Petr Savicky, "On satisfiability of terms in FLew-algebras"
• Libor Behounek, "Church-style type theories over finitary weakly implicative logics"
• Peter Jipsen, "The lattice of varieties generated by small residuated lattices"
• James Raftery, "Relatively filtral quasivarieties"