LATD PROGRAM
Days: Wednesday, July 16th Thursday, July 17th Friday, July 18th Saturday, July 19th
Wednesday, July 16th, 2014
View this program: with abstractssession overviewtalk overviewside by side with other conferences
10:45-12:45 Session 56F: Invited Talk (Urquhart) and Tutorial (Marra)
Location: MB, Festsaal
| 10:45 | Relevance Logic: Problems Open and Closed (abstract) |
| 11:45 | Tutorial 1/2: The more, the less, and the much more: An introduction to Lukasiewicz logic as a logic of vague propositions, and to its applications (abstract) |
08:45-10:15 Session 57: VSL Keynote Talk
Chair:
Location: EI, EI 7 + EI 9, EI 10 + FH, Hörsaal 1
| 08:45 | VSL Keynote Talk: The theory and applications of o-minimal structures (abstract) |
10:15-10:45Coffee Break
13:00-14:30Lunch Break
14:30-16:00 Session 59G: Contributed Talks
Location: MB, Festsaal
| 14:30 | Axiomatising a fuzzy modal logic over the standard product algebra (abstract) |
| 15:00 | Decidability of order-based modal logics (abstract) |
| 15:30 | Many-valued modal logic over residuated lattices via duality (abstract) |
14:30-16:00 Session 59H: Contributed Talks
Location: MB, Hörsaal 15
| 14:30 | Semantic information and fuzziness (abstract) |
| 15:00 | Qualified Syllogisms with Fuzzy Predicates (abstract) |
| 15:30 | Connecting Fuzzy Sets and Pavelka's Fuzzy Logic (abstract) |
16:00-16:30Coffee Break
16:30-18:00 Session 61F: Contributed Talks
Location: MB, Festsaal
| 16:30 | Embedding partially ordered sets into distributive lattices (abstract) |
| 17:00 | Bitopological Duality and Three-valued Logic (abstract) |
| 17:30 | De Morgan logics with a notion of inconsistency (abstract) |
16:30-18:00 Session 61G: Contributed Talks
Location: MB, Hörsaal 15
| 16:30 | Chaotic Fuzzy Liars, Degrees of Truth, and Fractal Images of Paradox (abstract) |
| 17:00 | Truth degrees in the interval [-1,1] for the librationist system $\pounds$. (abstract) |
| 17:30 | A semantic approach to conservativity (abstract) |
Thursday, July 17th, 2014
View this program: with abstractssession overviewtalk overviewside by side with other conferences
08:45-10:15 Session 62D: Contributed Talks
Location: MB, Festsaal
| 08:45 | Undecidability of consequence relation in Full Non-associative Lambek Calculus (abstract) |
| 09:15 | Canonical formulas for k-potent residuated lattices (abstract) |
| 09:45 | On satisfiability of terms in FLew-algebras (abstract) |
08:45-10:15 Session 62E: Contributed Talks
Location: MB, Hörsaal 15
| 08:45 | Five-valued LTL for Runtime Verification (abstract) |
| 09:15 | A method for generalizing finite automata arising from Stone-like dualities (abstract) |
| 09:45 | An application of distance-based approximate reasoning for diagnostic questionnaires in healthcare (abstract) |
Wednesday, July 16th, 2014
View this program: with abstractssession overviewtalk overviewside by side with other conferences
19:00-21:30 Session 64: VSL Banquet 1
Location: Schönbrunn
Thursday, July 17th, 2014
View this program: with abstractssession overviewtalk overviewside by side with other conferences
10:15-10:45Coffee Break
10:45-12:45 Session 66AS: Invited Talk (Miller) and Tutorial (Marra)
Location: MB, Festsaal
| 10:45 | Combining Intuitionistic and Classical Logic: a proof system and semantics (abstract) |
| 11:45 | Tutorial 2/2: The more, the less, and the much more: An introduction to Lukasiewicz logic as a logic of vague propositions, and to its applications (abstract) |
13:00-14:30Lunch Break
14:30-16:00 Session 75AR: Contributed Talks
Location: MB, Festsaal
| 14:30 | Embeddings into BiFL-algebras and conservativity (abstract) |
| 15:00 | The lattice of varieties generated by small residuated lattices (abstract) |
| 15:30 | Quasivarieties of MV-algebras and structurally complete Lukasiewicz logics (abstract) |
14:30-16:00 Session 75AS: Contributed Talks
Location: MB, Hörsaal 15
| 14:30 | Boolean-valued judgment aggregation (abstract) |
| 15:00 | Constructing many-valued logical functions with small influence of their variables (abstract) |
| 15:30 | Coupling games for Lukasiewicz logic (abstract) |
16:00-16:30Coffee Break
16:30-19:00 Session 79A: VSL Joint Award Ceremony 1
Chair:
Location: MB, Kuppelsaal
| 16:30 | Foundations and Technology Competitions Award Ceremony (abstract) |
| 17:30 | FLoC Olympic Games Award Ceremony 1 (abstract) |
| 18:15 | FLoC Closing Week 1 (abstract) |
16:30-18:00 Session 80I: Contributed Talks
Location: MB, Festsaal
| 16:30 | Densification via polynomial extensions (abstract) |
| 17:00 | Introducing an exotic MTL-chain (abstract) |
| 17:30 | On Pocrims and Hoops (abstract) |
16:30-18:00 Session 80J: Contributed Talks
Location: MB, Hörsaal 15
| 16:30 | Ordinal foundation for Lukasiewicz semantics (abstract) |
| 17:00 | Advances on elementary equivalence in model theory of fuzzy logics (abstract) |
| 17:30 | Trakhtenbrot theorem and first-order axiomatic extensions of MTL (abstract) |
Friday, July 18th, 2014
View this program: with abstractssession overviewtalk overviewside by side with other conferences
08:45-10:15 Session 86I: Contributed Talks
Location: MB, Festsaal
| 08:45 | Relatively filtral quasivarieties (abstract) |
| 09:15 | On logics of varieties and logics of semilattices (abstract) |
| 09:45 | Congruential deductive systems associated with equationally orderable varieties (abstract) |
08:45-10:15 Session 86J: Contributed Talks
Location: MB, Hörsaal 15
| 08:45 | Semantial and syntactial charaterisation of some extensions of the class of MV-algebras (abstract) |
| 09:15 | The space of directions of a polyhedron (abstract) |
| 09:45 | Interpreting Lukasiewicz logic into Intuitionistic logic (abstract) |
Thursday, July 17th, 2014
View this program: with abstractssession overviewtalk overviewside by side with other conferences
21:00-23:59 Session 89: VSL Student Reception 1
Location: Transporter
Friday, July 18th, 2014
View this program: with abstractssession overviewtalk overviewside by side with other conferences
10:15-10:45Coffee Break
10:45-12:45 Session 90AQ: Invited Talk (Fitting) and Tutorial (Baader)
Location: MB, Festsaal
| 10:45 | The Range of Realization Which modal logics have explicit counter parts (abstract) |
| 11:45 | Tutorial: Fuzzy Description Logics (Part 1) (abstract) |
13:00-14:30Lunch Break
14:30-16:00 Session 96AS: Invited Talk (Metcalfe) and Contributed Talk
Location: MB, Festsaal
| 14:30 | First-Order Logics and Truth Degrees (abstract) |
| 15:30 | Classification of germinal MV-algebras (abstract) |
16:00-16:30Coffee Break
16:30-18:00 Session 99AR: Contributed Talks
Location: MB, Festsaal
| 16:30 | Cut-free calculus for second-order {G\"odel} logic (abstract) |
| 17:00 | Poof Search and Co-NP completeness for Many-Valued Logics (abstract) |
| 17:30 | Cut and completion? (abstract) |
16:30-18:00 Session 99AS: Contributed Talks
Location: MB, Hörsaal 15
| 16:30 | Definability of truth predicates in abstract algebraic logic (abstract) |
| 17:00 | Generalizing the Leibniz and Suszko operators (abstract) |
| 17:30 | Church-style type theories over finitary weakly implicative logics (abstract) |
Saturday, July 19th, 2014
View this program: with abstractssession overviewtalk overviewside by side with other conferences
08:30-09:30 Session 105: Invited Talk (Scott) (joint with LC)
Location: MB, Festsaal
| 08:30 | Geometry without points (abstract) |
09:45-10:15 Session 108A: Contributed Talk
Location: MB, Festsaal
| 09:45 | A Semi-relevant, Paraconsistent Dual of {\L}ukasiewicz Logic (abstract) |
09:45-10:15 Session 108B: Contributed Talk
Location: MB, Hörsaal 15
| 09:45 | Recent advances in the structural description of involutive FL$_e$-chains (abstract) |
10:15-10:45Coffee Break
10:45-12:45 Session 109F: Invited Talk (Ghilardi) and Tutorial (Baader)
Location: MB, Festsaal
| 10:45 | Step frames analysis in single- and multi-conclusion calculi (abstract) |
| 11:45 | Tutorial: Fuzzy Description Logics (Part 2) (abstract) |
13:00-14:30Lunch Break
14:30-16:00 Session 113E: Contributed Talks
Location: MB, Festsaal
| 14:30 | MV-algebras with product and the Pierce-Birkhoff conjecture (abstract) |
| 15:00 | On tensor product in Lukasiewicz logic (abstract) |
| 15:30 | On the Logic of Perfect MV-algebras (abstract) |
14:30-16:00 Session 113F: Contributed Talks
Location: MB, Hörsaal 15
| 14:30 | Bases for admissible rules for fragments of RMt (abstract) |
| 15:00 | The Admissible Rules of Subframe Logics (abstract) |
| 15:30 | Admissible rules and almost structural completeness in some first-order modal logics (abstract) |
16:00-16:30Coffee Break
16:30-17:00 Session 116F: Contributed Talk
Location: MB, Festsaal
| 16:30 | Separating intermediate predicate logics of well-founded and dually well-founded structures by monadic sentences (abstract) |
16:30-17:00 Session 116G: Contributed Talk
Location: MB, Hörsaal 15
| 16:30 | A meta-Logic of multiple-conclusion rules (abstract) |
19:00-21:30 Session 122: VSL Reception 2
Location: University of Vienna, Arkadenhof
22:00-23:59 Session 123: VSL Student Reception 2
Location: Säulenhalle (Volksgarten)