[logic-ml] Call for participation: Logic, Algebra and Truth Degrees 2012 (10-14 September 2012 in Kanazawa)

[Katsuhiko Sano]

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: latd12 at jaist.ac.jp


[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