Algebraic and Proof-theoretic Aspects of Non-classical Logics

Keyphrases

Publications

volume 4460, 2007

Algebraic and Proof-theoretic Aspects of Non-classical Logics, Papers in Honor of Daniele Mundici on the Occasion of His 60th birthday Algebraic and Proof-theoretic Aspects of Non-classical Logics 4460 (2007)

2006

Stefan Hetzl, Alexander Leitsch
Proof Transformations and Structural Invariance. Algebraic and Proof-theoretic Aspects of Non-classical Logics (2006)
Francesc Esteva, Lluís Godo
Functor to IMTL Algebras: The Linearly Ordered Case. Algebraic and Proof-theoretic Aspects of Non-classical Logics (2006)
Maria Luisa Dalla Chiara, Roberto Giuntini, Roberto Leporini
Reversibility and Irreversibility in Quantum Computation and in Quantum Computational Logics. Algebraic and Proof-theoretic Aspects of Non-classical Logics (2006)
Franco Montagna
Logics and in Their First-Order Extensions. Algebraic and Proof-theoretic Aspects of Non-classical Logics (2006)
Beloslav Riecan
Probability Theory on IF Events. Algebraic and Proof-theoretic Aspects of Non-classical Logics (2006)
Tobias Gedell, Reiner Hähnle
Verification by Parallelization of Parametric Code. Algebraic and Proof-theoretic Aspects of Non-classical Logics (2006)
Arnon Avron, Anna Zamansky
Many-Valued Non-deterministic Semantics for First-Order Logics of Formal (In)consistency. Algebraic and Proof-theoretic Aspects of Non-classical Logics (2006)
Antonio Di Nola, Mirko Navara
Cantor-Bernstein Property for MV-Algebras. Algebraic and Proof-theoretic Aspects of Non-classical Logics (2006)
Matthias Baaz
Note on Conditional Constructivity. Algebraic and Proof-theoretic Aspects of Non-classical Logics (2006)
Giovanni Panti
The Automorphism Group of Falsum-Free Product Logic. Algebraic and Proof-theoretic Aspects of Non-classical Logics (2006)
Costas A. Drossos, Panagis Karazeris
A Note on Representing and Interpreting MV-Algebras. Algebraic and Proof-theoretic Aspects of Non-classical Logics (2006)
Xavier Caicedo
Implicit Operations in MV-Algebras and the Connectives of Lukasiewicz Logic. Algebraic and Proof-theoretic Aspects of Non-classical Logics (2006)
Lawrence Peter Belluce, Antonio Di Nola, Ada Lettieri
Symmetric MV-Algebras. Algebraic and Proof-theoretic Aspects of Non-classical Logics (2006)
Sándor Jenei, Franco Montagna
Rényi-Ulam Game Semantics for Product Logic and for the Logic of Cancellative Hoops. Algebraic and Proof-theoretic Aspects of Non-classical Logics (2006)
Roberto Cignoli
The Algebras of Lukasiewicz Many-Valued Logic: A Historical Overview. Algebraic and Proof-theoretic Aspects of Non-classical Logics (2006)
Andrew M. W. Glass, Françoise Point
Finitely Presented Abelian Lattice-Ordered Groups. Algebraic and Proof-theoretic Aspects of Non-classical Logics (2006)
Petr Hájek
On Fuzzy Theories with Crisp Sentences. Algebraic and Proof-theoretic Aspects of Non-classical Logics (2006)