logic-ml の皆様、
北陸先端科学技術大学院大学の佐野勝彦と申します。 9/10-9/14 に金沢で開催されるLATD 2012 の Call for participation をお送りいたします。 重複してお受け取りの場合はどうぞご容赦ください。
佐野勝彦
=====================================================================
Logic, Algebra and Truth Degrees 2012 http://www.jaist.ac.jp/rcis/latd12/
Call for participation
The third official meeting of the EUSFLAT Working Group on Mathematical Fuzzy Logic [1] will be held on 10-14 September 2012 in Kanazawa, Japan. The conference is organized by Research Center for Integrated Science [2], Japan Advanced Institute of Science and Technology [3].
We invite interested researchers to participate in the conference. The program has been settled and can be found at the web page http://www.jaist.ac.jp/rcis/latd12/index.php?program
Conference Web Site: http://www.jaist.ac.jp/rcis/latd12/
Programme Committee: . Stefano Aguzzoli (University of Milano, Italy) . Matthias Baaz (Vienna University of Technology, Austria) . Petr Cintula (Academy of Sciences, Czech Republic) . Carles Noguera (CSIC, Spain) . Hiroakira Ono (JAIST, Japan), Chair . James Raftery (University of KwaZulu-Natal, South Africa) . Constantine Tsinakis (Vanderbilt University, USA)
Program:
Invited Speakers and the respective titles (abstracts on the web page): . Rostislav Horčík (Academy of Sciences, Czech Republic) Quasiequational Theory of Square-increasing Residuated Lattices is Undecidable . Emil Jeřábek (Academy of Sciences, Czech Republic) Admissibility and unification with parameters . Daniele Mundici (University of Florence, Italy) When every principal congruence is an intersection of maximal congruences . Greg Restall (University of Melbourne, Australia) Exotic Sequent Calculi for Truth Degrees . Luca Spada (University of Salerno, Italy) The multifarious representations of MV-algebras
Tutorial: . Felix Bou (University of Barcelona, Spain) (Un)Decidability in Monadic Fuzzy Predicate Logics
Contributed talks: . Stefano Aguzzoli, Tommaso Flaminio and Enrico Marchioni Finite Forests. Their Algebras and Logics . Majid Alizadeh, Mohammad Ardeshir and Wim Ruitenburg Modal Basic Propositional Logic . Conrad Asmus Towards Many Valued Dependence Logics . Matthias Baaz and Agata Ciabattoni Proof theory for non-classical logics: negative results . Paolo Baldi, Agata Ciabattoni and Lara Spendier Standard completeness for extensions of MTL: an automated approach . Libor Behounek Feasibility of program runs in fuzzified Propositional Dynamic Logic . Marjon Blondeel, Tommaso Flaminio and Lluís Godo Relating fuzzy autoepistemic logic and Łukasiewicz KD45 modal logic . Felix Bou, Francesc Esteva and Lluis Godo On possibilistic modal logics over Gödel logic . Félix Bou, Marco Cerami and Francesc Esteva Concept Satisfiability in finite-valued Fuzzy Description Logics is PSPACE-complete . Rodica Ceterchi The Decomposition of Linearly Ordered Pseudo-Hoops . Petr Cintula, Rostislav Horcík and Carles Noguera A basic fuzzy logic which is really basic and fuzzy . Oliver Fasching and Matthias Baaz An analytic calculus for Gödel logics with an operator that shifts truth values . Christian Fermüller and Christoph Roschger Extending Giles's Game for Lukasiewicz Logic to Fuzzy Quantification . Nikolaos Galatos The finite embeddability property for varieties of distributive, integral residuated lattices . Sándor Jenei Recent results on involute FLe-monoids . Michiro Kondo States on bounded commutative residuated lattices . Tomasz Kowalski BCK is not structurally complete . Michał Kozak Double Negation in Intuitionistic Style Sequent Systems for Residuated Lattices . Tomas Kroupa and Ondrej Majer Nash Equilibria in a Class of Zero-Sum Games Represented by McNaughton Functions . Jan Kühr BCK-algebras and triple construction . Antonio Ledda, Tomasz Kowalski and Francesco Paoli On independent varieties and some related notions . Leonardo Manuel Cabrer and Vincenzo Marra Advances on Unification in MV-algebras . Vincenzo Marra and Stefano Aguzzoli Betting on events observed over an interval of time: de Finetti's Dutch-Book argument for Goedel logic . Yoshihiro Maruyama Diagonals, Paradoxes, and the Edge of Consistency: classical, quantum, and fuzzy . Yuri Movsisyan and Diana Davidova Representation theorem for interlaced q-bilattices . Petra Murinová Structure of generalized intermediate syllogisms . Liu Doing Ning and Zhe Lin Proof Theoretical Investigations on Substructure Modal Logic . Hitoshi Omori and Katsuhiko Sano Generalizing Functional Completeness in Belnap-Dunn's Four Valued System . Jan Paseka and Michal Botur Tense MV-algebras and related operators . Milan Petrík Algebraic webs on more general structures . James Raftery Inconsistency lemmas in algebraic logic . Umberto Rivieccio Implicative twist-structures . Takahiro Seki Disjunction Property of Non-Associative Substructural Logics . Shawn Standefer Revision theory and Field's theory of truth . Nobu-Yuki Suzuki Remarks on Ono's Two Problems: Existence and Disjunction Properties in Super-Intuitionistic Predicate Logics . Peter Verdée Paraconsistent logic and degrees of believe . Thomas Vetterlein Construction methods for finite commutative tomonoids . Shunsuke Yatabe A constructive naive set theory and the $\omega$-rule . William Young Free MV-algebras inside Free Abelian l-groups
Registration: Registration is required and can be done at http://www.jaist.ac.jp/rcis/latd12/index.php?registration
Conference dates: The scientific program will start Monday morning (10 September) and finish Friday noon (14 September). Wednesday afternoon we plan an excursion.
Venue: The conference will be held in the city of Kanazawa [4,5,6], located in the Ishikawa prefecture of Japan on the Japan Sea. The venue is the Ishikawa Prefectural Museum of Art [7] in the center of Kanazawa.
Local Organizing Committee: . Norbert Preining (JAIST, Japan), Chair . Katsuhiko Sano (JAIST, Japan) . Kazushige Terui (Kyoto University, Japan) . Shunsuke Yatabe (AIST, Japan)
For further information please contact: [email protected]
[1] http://www.mathfuzzlog.org/ [2] http://www.jaist.ac.jp/rcis/en/ [3] http://www.jaist.ac.jp/ [4] http://en.wikipedia.org/wiki/Kanazawa,_Ishikawa [5] http://www.kanazawa-tourism.com/ [6] http://wikitravel.org/en/Kanazawa [7] http://www.ishibi.pref.ishikawa.jp/index_j.html