Xavier Caicedo Implicit Operations in MV-Algebras and the Connectives of Lukasiewicz Logic. [Citation Graph (0, 0)][DBLP] Algebraic and Proof-theoretic Aspects of Non-classical Logics, 2006, pp:50-68 [Conf]

Roberto Cignoli The Algebras of Lukasiewicz Many-Valued Logic: A Historical Overview. [Citation Graph (0, 0)][DBLP] Algebraic and Proof-theoretic Aspects of Non-classical Logics, 2006, pp:69-83 [Conf]

Francesc Esteva, Lluis Godo Towards the Generalization of Mundici's Gamma Functor to IMTL Algebras: The Linearly Ordered Case. [Citation Graph (0, 0)][DBLP] Algebraic and Proof-theoretic Aspects of Non-classical Logics, 2006, pp:127-137 [Conf]

Tobias Gedell, Reiner Hähnle Verification by Parallelization of Parametric Code. [Citation Graph (0, 0)][DBLP] Algebraic and Proof-theoretic Aspects of Non-classical Logics, 2006, pp:138-159 [Conf]

Petr Hájek On Fuzzy Theories with Crisp Sentences. [Citation Graph (0, 0)][DBLP] Algebraic and Proof-theoretic Aspects of Non-classical Logics, 2006, pp:194-200 [Conf]

Sándor Jenei, Franco Montagna Rényi-Ulam Game Semantics for Product Logic and for the Logic of Cancellative Hoops. [Citation Graph (0, 0)][DBLP] Algebraic and Proof-theoretic Aspects of Non-classical Logics, 2006, pp:231-246 [Conf]

Franco Montagna Notes on Strong Completeness in Lukasiewicz, Product and BL Logics and in Their First-Order Extensions. [Citation Graph (0, 0)][DBLP] Algebraic and Proof-theoretic Aspects of Non-classical Logics, 2006, pp:247-274 [Conf]

Giovanni Panti The Automorphism Group of Falsum-Free Product Logic. [Citation Graph (0, 0)][DBLP] Algebraic and Proof-theoretic Aspects of Non-classical Logics, 2006, pp:275-289 [Conf]

Beloslav Riecan Probability Theory on IF Events. [Citation Graph (0, 0)][DBLP] Algebraic and Proof-theoretic Aspects of Non-classical Logics, 2006, pp:290-308 [Conf]

NOTICE1

System may not be available sometimes or not working properly, since it is still in development with continuous upgrades

NOTICE2

The rankings that are presented on this page should NOT be considered as formal since the citation info is incomplete in DBLP