The SCEAS System
Navigation Menu

Conferences in DBLP

Birthday ... (birthday)
2006 (conf/birthday/2006mundici)

  1. Arnon Avron, Anna Zamansky
    Many-Valued Non-deterministic Semantics for First-Order Logics of Formal (In)consistency. [Citation Graph (0, 0)][DBLP]
    Algebraic and Proof-theoretic Aspects of Non-classical Logics, 2006, pp:1-24 [Conf]
  2. Matthias Baaz
    Note on Conditional Constructivity. [Citation Graph (0, 0)][DBLP]
    Algebraic and Proof-theoretic Aspects of Non-classical Logics, 2006, pp:25-29 [Conf]
  3. Lawrence Peter Belluce, Antonio di Nola, Ada Lettieri
    Symmetric MV-Algebras. [Citation Graph (0, 0)][DBLP]
    Algebraic and Proof-theoretic Aspects of Non-classical Logics, 2006, pp:30-49 [Conf]
  4. 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]
  5. 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]
  6. Maria Luisa Dalla Chiara, Roberto Giuntini, Roberto Leporini
    Reversibility and Irreversibility in Quantum Computation and in Quantum Computational Logics. [Citation Graph (0, 0)][DBLP]
    Algebraic and Proof-theoretic Aspects of Non-classical Logics, 2006, pp:84-106 [Conf]
  7. Antonio di Nola, Mirko Navara
    Cantor-Bernstein Property for MV-Algebras. [Citation Graph (0, 0)][DBLP]
    Algebraic and Proof-theoretic Aspects of Non-classical Logics, 2006, pp:107-118 [Conf]
  8. Costas A. Drossos, Panagis Karazeris
    A Note on Representing and Interpreting MV-Algebras. [Citation Graph (0, 0)][DBLP]
    Algebraic and Proof-theoretic Aspects of Non-classical Logics, 2006, pp:119-126 [Conf]
  9. 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]
  10. 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]
  11. Andrew M. W. Glass, Françoise Point
    Finitely Presented Abelian Lattice-Ordered Groups. [Citation Graph (0, 0)][DBLP]
    Algebraic and Proof-theoretic Aspects of Non-classical Logics, 2006, pp:160-193 [Conf]
  12. 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]
  13. Stefan Hetzl, Alexander Leitsch
    Proof Transformations and Structural Invariance. [Citation Graph (0, 0)][DBLP]
    Algebraic and Proof-theoretic Aspects of Non-classical Logics, 2006, pp:201-230 [Conf]
  14. 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]
  15. 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]
  16. 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]
  17. 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
 
System created by asidirop@csd.auth.gr [http://users.auth.gr/~asidirop/] © 2002
for Data Engineering Laboratory, Department of Informatics, Aristotle University © 2002