LATD PROGRAM

VSL Keynote Talk: The theory and applications of o-minimal structures (abstract)

Relevance Logic: Problems Open and Closed (abstract)

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)

Axiomatising a fuzzy modal logic over the standard product algebra (abstract)

Decidability of order-based modal logics (abstract)

Many-valued modal logic over residuated lattices via duality (abstract)

Semantic information and fuzziness (abstract)

Qualified Syllogisms with Fuzzy Predicates (abstract)

Connecting Fuzzy Sets and Pavelka's Fuzzy Logic (abstract)

Embedding partially ordered sets into distributive lattices (abstract)

Bitopological Duality and Three-valued Logic (abstract)

De Morgan logics with a notion of inconsistency (abstract)

Chaotic Fuzzy Liars, Degrees of Truth, and Fractal Images of Paradox (abstract)

Truth degrees in the interval [-1,1] for the librationist system $\pounds$. (abstract)

A semantic approach to conservativity (abstract)

Undecidability of consequence relation in Full Non-associative Lambek Calculus (abstract)

Canonical formulas for k-potent residuated lattices (abstract)

On satisfiability of terms in FLew-algebras (abstract)

Five-valued LTL for Runtime Verification (abstract)

A method for generalizing finite automata arising from Stone-like dualities (abstract)

An application of distance-based approximate reasoning for diagnostic questionnaires in healthcare (abstract)

Combining Intuitionistic and Classical Logic: a proof system and semantics (abstract)

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)

Embeddings into BiFL-algebras and conservativity (abstract)

The lattice of varieties generated by small residuated lattices (abstract)

Quasivarieties of MV-algebras and structurally complete Lukasiewicz logics (abstract)

Boolean-valued judgment aggregation (abstract)

Constructing many-valued logical functions with small influence of their variables (abstract)

Coupling games for Lukasiewicz logic (abstract)

Foundations and Technology Competitions Award Ceremony (abstract)

FLoC Olympic Games Award Ceremony 1 (abstract)

FLoC Closing Week 1 (abstract)

Densification via polynomial extensions (abstract)

Introducing an exotic MTL-chain (abstract)

On Pocrims and Hoops (abstract)

Ordinal foundation for Lukasiewicz semantics (abstract)

Advances on elementary equivalence in model theory of fuzzy logics (abstract)

Trakhtenbrot theorem and first-order axiomatic extensions of MTL (abstract)

Relatively filtral quasivarieties (abstract)

On logics of varieties and logics of semilattices (abstract)

Congruential deductive systems associated with equationally orderable varieties (abstract)

Semantial and syntactial charaterisation of some extensions of the class of MV-algebras (abstract)

The space of directions of a polyhedron (abstract)

Interpreting Lukasiewicz logic into Intuitionistic logic (abstract)

The Range of Realization Which modal logics have explicit counter parts (abstract)

Tutorial: Fuzzy Description Logics (Part 1) (abstract)

First-Order Logics and Truth Degrees (abstract)

Classification of germinal MV-algebras (abstract)

Cut-free calculus for second-order {G\"odel} logic (abstract)

Poof Search and Co-NP completeness for Many-Valued Logics (abstract)

Cut and completion? (abstract)

Definability of truth predicates in abstract algebraic logic (abstract)

Generalizing the Leibniz and Suszko operators (abstract)

Church-style type theories over finitary weakly implicative logics (abstract)

Geometry without points (abstract)

A Semi-relevant, Paraconsistent Dual of {\L}ukasiewicz Logic (abstract)

Recent advances in the structural description of involutive FL$_e$-chains (abstract)

Step frames analysis in single- and multi-conclusion calculi (abstract)

Tutorial: Fuzzy Description Logics (Part 2) (abstract)

MV-algebras with product and the Pierce-Birkhoff conjecture (abstract)

On tensor product in Lukasiewicz logic (abstract)

On the Logic of Perfect MV-algebras (abstract)

Bases for admissible rules for fragments of RMt (abstract)

The Admissible Rules of Subframe Logics (abstract)

Admissible rules and almost structural completeness in some first-order modal logics (abstract)

Separating intermediate predicate logics of well-founded and dually well-founded structures by monadic sentences (abstract)

A meta-Logic of multiple-conclusion rules (abstract)