Many-Valued Logics Here the schedule of the workshop
Workshop organized by Petr Cintula Carles Noguera Luca Spada Many-valued logics are non-classical logics whose intended semantics has more than two truth-values. Their study started in the early 20th century as a rather marginal topic with some works of Lukasiewicz and Post on finitely-valued logics. However, in the last decades, many-valued logics have gained more and more prominence and have attracted an increasing number of researchers studying a growing family of logics arising from a heterogenous variety of motivations and yielding numerous applications. Actually, nowadays many-valued logics occupy a central part in the landscape of non-classical logics, including well-known systems such as Kleene logics, Dunn-Belnap logic and other bilattice-valued logics, n-valued Lukasiewicz logics, fuzzy logics including Lukasiewicz infinitely-valued logic, Godel-Dummett logic and many others), paraconsistent logics, relevance logics, monoidal logic, etc. Moreover, other systems like intuitionistic, modal, or linear logic whose intended semantics is of a different nature, can also be given algebraic semantics with more than two truth values and hence, can be fruitfully studied from the point of view of Algebraic Logic as many-valued systems. Research on such variety of logics has benefited from connections with other mathematical disciplines like universal algebra, topology, and model, proof, game and category theory, and has resulted in many applications in other fields like philosophy and computer science. Call for papers This UNILOG workshop is organised in conjunction with the MarieCurie IRSES project MaToMUVI. It welcomes submissions devoted to the study of any aspect of any kind of many-valued logics. Especially welcomed are contributions providing general methods for studying classes of many-valued logics. One page abstracts for this workshop should be submitted before November 15th 2012 by email to:
Keynote speaker
Vincenzo Marra
|
Keynote speaker
Manuela Busaniche Contributing Speakers Brunella Gerla, Stefano Aguzzoli, and Anna Rita Ferraioli, Department of Computer Science, University of Milan, Italy, Department of Theoretical and Applied Sciences, University of Insubria, Varese, Italy Free Algebras In The Varieties Generated By Chang's MV-Algebra And By Jenei's Rotation Of Product T-Norm Dana Salounova and Jirí Rachunek, Technical University of Ostrava, Czech Republic and Palacky University in Olomouc, Czech Republic, State Operators on Non-Associative Generalizations of MV-Algebras Ramaz Liparteliani, Tblisi State University, Georgia, Unification Problems in Finite MV-Algebras with Constants Jiří Rachůnek and Dana Salounova, Palacky University in Olomouc, Czech Republic and Technical University of Ostrava, Czech Republic, Approximations in Algebras of the non-Commutative Lukasiewicz logic Martin Figallo and Marcelo Coniglio, National University of the South, Bahía Blanca, Argentina and Dpt of Philosophy, State University of Campinas, Brazil, On the Relationship between Tetravalent Modal Algebras, Symmetric Boolean Algebras and Modal Algebras for S5 Umberto Rivieccio, School of Computer Science, University of Birmingham, England, United Kingdom On Extensions of the Belnap-Dunn Logic Rodolfo Ertola, Dpt of Philosophy, State University of Campinas, Brazil and National University of the South, Bahía Blanca, Argentina, Adding Connectives to Intuitionistic Logic Claudio Callejas and João Marcos, LoLITA and DIMAp, UFRN, Natal, Brazil A Contribution towards a Cartography of Fuzzy Equivalence Operators Esko Turunen, Tampere University of Technology, Finland, The MV-structure of Intermediate Syllogisms Radomir Halas and Michal Botour, Department of Algebra and Geometry, Palacky University in Olomouc, Czech Republic On Quantifiers on Pocrims Ricardo Oscar Rodriguez, Department of Computer Science, University of Buenos Aires, Argentina, Decidability of Bi-modal Gödel Logics Jan Paseka and Ivan Chajda, Department of Algebra and Geometry, Palacky University in Olomouc, Czech Republic and Faculty of Science, Masaryk University, Brno, Czech Republic Dynamic Algebras as an Axiomatization of Modal and Tense Logics Marjon Blondeel, Martine De Cock, Tommaso Flaminio, and Lluis Godo Department of Computer Science, Vrije Universiteit Brussel, Belgium - Dept. of Applied Mathematics and Computer Science, Ghent University, Belgium and Artificial Intelligence Research Insitute, CSIC, Catalonia, Spain Complexity Fuzzy Possibilistic Modal Logics Tomá Kroupa, Institute of Information Theory and Automation, Academy of Sciences of the Czech Republic, Prague, Many-Valued Degrees of Memberships in Coalitions: Logical and Strategical Consequences Christian G. Fermüller, Vienna University of Technology, Austria Games Semantics for Deterministic and Nondeterministic Many-Valued Logics Arnon Avron, University of Tel-Aviv, Israel, Semi-Canonical Systems and their Semantics Luis Farińas del Cerro and Newton Peron, IRIT / Université Paul Sabatier, Toulouse, France and Dpt of Philosophy, State University of Campinas, Brazil, Non-deterministic Matrix Semantics for Modal Logic
|
||||
