VSL 2014: VIENNA SUMMER OF LOGIC 2014

A
Aguzzoli, Stefano	A method for generalizing finite automata arising from Stone-like dualities
Albuquerque, Hugo	Generalizing the Leibniz and Suszko operators
Arthan, Rob	On Pocrims and Hoops
Avron, Arnon	A Semi-relevant, Paraconsistent Dual of {\L}ukasiewicz Logic Cut-free calculus for second-order {G\"odel} logic
B
Baader, Franz	Tutorial: Fuzzy Description Logics (Part 1) Tutorial: Fuzzy Description Logics (Part 2)
Beckmann, Arnold	Separating intermediate predicate logics of well-founded and dually well-founded structures by monadic sentences
Behounek, Libor	Church-style type theories over finitary weakly implicative logics
Bezhanishvili, Nick	Canonical formulas for k-potent residuated lattices
Bianchi, Matteo	Trakhtenbrot theorem and first-order axiomatic extensions of MTL
Bjørdal, Frode	Truth degrees in the interval [-1,1] for the librationist system $\pounds$.
Bongini, Mattia	Poof Search and Co-NP completeness for Many-Valued Logics
Bou, Felix	Introducing an exotic MTL-chain
C
Cabrer, Leonardo Manuel	Classification of germinal MV-algebras
Chai, Ming	Five-valued LTL for Runtime Verification
Chvalovský, Karel	Undecidability of consequence relation in Full Non-associative Lambek Calculus
Ciabattoni, Agata	Embeddings into BiFL-algebras and conservativity Poof Search and Co-NP completeness for Many-Valued Logics
Citkin, Alex	A meta-Logic of multiple-conclusion rules
Craig, Andrew	Many-valued modal logic over residuated lattices via duality
D
Dellunde, Pilar	Advances on elementary equivalence in model theory of fuzzy logics
Di Nola, Antonio	On the Logic of Perfect MV-algebras
Diaconescu, Denisa	A method for generalizing finite automata arising from Stone-like dualities
Dzik, Wojciech	Admissible rules and almost structural completeness in some first-order modal logics
E
Eckert, Daniel	Boolean-valued judgment aggregation
Esteva, Francesc	Axiomatising a fuzzy modal logic over the standard product algebra
F
Fitting, Melvin	The Range of Realization Which modal logics have explicit counter parts
Flaminio, Tommaso	A method for generalizing finite automata arising from Stone-like dualities
Font, Josep Maria	On logics of varieties and logics of semilattices Generalizing the Leibniz and Suszko operators
G
Galatos, Nick	Canonical formulas for k-potent residuated lattices Embeddings into BiFL-algebras and conservativity Densification via polynomial extensions
García-Cerdaña, Àngel	Advances on elementary equivalence in model theory of fuzzy logics
Ghilardi, Silvio	Step frames analysis in single- and multi-conclusion calculi
Gispert, Joan	Quasivarieties of MV-algebras and structurally complete Lukasiewicz logics
Godo, Lluis	Axiomatising a fuzzy modal logic over the standard product algebra
Goudsmit, Jeroen	The Admissible Rules of Subframe Logics
Grigolia, Revaz	On the Logic of Perfect MV-algebras
H
Hanikova, Zuzana	On satisfiability of terms in FLew-algebras
Herzberg, Frederik	Boolean-valued judgment aggregation
Horcik, Rostislav	Densification via polynomial extensions
I
Iemhoff, Rosalie	Cut and completion?
J
Jansana, Ramon	Congruential deductive systems associated with equationally orderable varieties Generalizing the Leibniz and Suszko operators
Jenei, Sándor	Recent advances in the structural description of involutive FL$_e$-chains
Jipsen, Peter	The lattice of varieties generated by small residuated lattices
K
Kroupa, Tomáš	Constructing many-valued logical functions with small influence of their variables
L
Lahav, Ori	Cut-free calculus for second-order {G\"odel} logic
Lapenta, Serafina	MV-algebras with product and the Pierce-Birkhoff conjecture On tensor product in Lukasiewicz logic
Lenzi, Giacomo	On the Logic of Perfect MV-algebras
Leustean, Ioana	MV-algebras with product and the Pierce-Birkhoff conjecture On tensor product in Lukasiewicz logic
M
Mar, Gary	Chaotic Fuzzy Liars, Degrees of Truth, and Fractal Images of Paradox
Marra, Vincenzo	The space of directions of a polyhedron Interpreting Lukasiewicz logic into Intuitionistic logic 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 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
Marrano, Rossella	Ordinal foundation for Lukasiewicz semantics
McNeill, Daniel	The space of directions of a polyhedron Interpreting Lukasiewicz logic into Intuitionistic logic
Metcalfe, George	First-Order Logics and Truth Degrees
Miller, Dale	Combining Intuitionistic and Classical Logic: a proof system and semantics
Mio, Matteo	Coupling games for Lukasiewicz logic
Montagna, Franco	Poof Search and Co-NP completeness for Many-Valued Logics
Moraschini, Tommaso	On logics of varieties and logics of semilattices Definability of truth predicates in abstract algebraic logic
Moshier, M. Andrew	Bitopological Duality and Three-valued Logic
Mruczek-Nasieniewska, Krystyna	Semantial and syntactial charaterisation of some extensions of the class of MV-algebras
Muravitsky, Alexei	Semantic information and fuzziness
N
Noguera, Carles	Advances on elementary equivalence in model theory of fuzzy logics
O
Oliva, Paulo	On Pocrims and Hoops
P
Pedrini, Andrea	The space of directions of a polyhedron Interpreting Lukasiewicz logic into Intuitionistic logic
Polacik, Tomasz	A semantic approach to conservativity
Preining, Norbert	Separating intermediate predicate logics of well-founded and dually well-founded structures by monadic sentences
Přenosil, Adam	De Morgan logics with a notion of inconsistency
R
Raftery, James	Relatively filtral quasivarieties
Ramanayake, Revantha	Embeddings into BiFL-algebras and conservativity
Rivieccio, Umberto	Many-valued modal logic over residuated lattices via duality
Rogger, Jonas	Decidability of order-based modal logics
S
Savicky, Petr	On satisfiability of terms in FLew-algebras
Schnüriger, Laura	Bases for admissible rules for fragments of RMt
Schwartz, Daniel	Qualified Syllogisms with Fuzzy Predicates
Scott, Dana	Geometry without points
Simpson, Alex	Coupling games for Lukasiewicz logic
Spada, Luca	Canonical formulas for k-potent residuated lattices
T
Turunen, Esko	Connecting Fuzzy Sets and Pavelka's Fuzzy Logic
U
Urquhart, Alasdair	Relevance Logic: Problems Open and Closed
V
Valla, Tomáš	Constructing many-valued logical functions with small influence of their variables
Van Alten, Clint	Embedding partially ordered sets into distributive lattices
van Gool, Sam	Cut and completion?
Vetterlein, Thomas	An application of distance-based approximate reasoning for diagnostic questionnaires in healthcare
Vidal Wandelmer, Amanda	Axiomatising a fuzzy modal logic over the standard product algebra
W
Wojtylak, Piotr	Admissible rules and almost structural completeness in some first-order modal logics
Z
Zamansky, Anna	An application of distance-based approximate reasoning for diagnostic questionnaires in healthcare

Disclaimer | Powered by EasyChair Smart Program