The use of algebra for the theory of reasoning was a fundamental turn in the development of logic. It was the first way to use mathematics to deal with logic, a fundamental step towards mathematical logic.

In this special session different algebraic structures and algebraic operators useful for the understanding of logic will be presented and discussed.

Algebras for Logics

Special Session

Organized by Joanna Grygiel

University of Czestochowa, Poland

Accepted contributed talks

1. Carlos Gallardo and Alicia Ziliani, Universidad Nacional del Sur - Universidad Nacional de San Juan, Argentina, "Weak implication in the discriminator variety of m-generalized Lukasiweicz algebras of order n"

2. Jan Galuszka, Institute of Mathematics, Silesian University of Technology, Poland, "Lattice of quasigroup formulas''

3. Majid Alizadeh, Hector Freytes and Antonio Ledda, DSchool of Mathematics, Statistics and Computer Science, University of Teheran, Iran - Argentinian Institute of Mathematics, CONICET, Argentina - Dpt of Pedagogical Science and Philosophy, University of Cagliari, Italy , "Completion and amalgamation of bounded distributive quasi lattices"

4. Blaise Blériot Koguep Njionou, Departement of Mathematics, University of Yaoundé 1, Cameroon, "Some properties of fuzzy ideal of hyperlattice"

5. Joanna Grygiel, Jan Dlugosz University, Czestochowa, Poland, "On some characterization of distributive lattice"

6. Aldo V.Figallo, Gustavo Pelaitay and Claudia Sanza, Universidad Nacional del Sur - Universidad Nacional de San Juan, Argentina, "Tense operators on symmetrical Heyting algebras"

7. Tomoyuki Suzuki, University of Leicester, UK, "Canonical inequalities on FL-algebras"

8. Rodolfo Ertola, Adriana Galli and Hernan San Martin,, Universidad Nacional del Sur - Universidad Nacional de la Plata, Argentina, "Non-compatible operations in Heyting algebras"