Lecture Notes in Computer Science - Algebraic and Proof-theoretic Aspects of Non-classical Logics
Latest Publications

TOTAL DOCUMENTS

(FIVE YEARS 0)

H-INDEX

(FIVE YEARS 0)

Published By Springer Berlin Heidelberg

9783540759386, 9783540759393

Latest Documents Most Cited Documents Contributed Authors Related Sources Related Keywords

Towards the Generalization of Mundici’s Γ Functor to IMTL Algebras: The Linearly Ordered Case

Lecture Notes in Computer Science - Algebraic and Proof-theoretic Aspects of Non-classical Logics ◽

10.1007/978-3-540-75939-3_9 ◽

2007 ◽

pp. 127-137 ◽

Cited By ~ 1

Author(s):

Francesc Esteva ◽

Lluís Godo

Download Full-text

A Note on Representing and Interpreting MV-Algebras

Lecture Notes in Computer Science - Algebraic and Proof-theoretic Aspects of Non-classical Logics ◽

10.1007/978-3-540-75939-3_8 ◽

2007 ◽

pp. 119-126 ◽

Cited By ~ 1

Author(s):

Costas A. Drossos ◽

Panagis Karazeris

Keyword(s):

Mv Algebras

Download Full-text

Cantor–Bernstein Property for MV-Algebras

Lecture Notes in Computer Science - Algebraic and Proof-theoretic Aspects of Non-classical Logics ◽

10.1007/978-3-540-75939-3_7 ◽

2007 ◽

pp. 107-118 ◽

Cited By ~ 1

Author(s):

Antonio Di Nola ◽

Mirko Navara

Keyword(s):

Bernstein Property ◽

Mv Algebras

Download Full-text

Notes on Strong Completeness in Łukasiewicz, Product and BL Logics and in Their First-Order Extensions

Lecture Notes in Computer Science - Algebraic and Proof-theoretic Aspects of Non-classical Logics ◽

10.1007/978-3-540-75939-3_15 ◽

2007 ◽

pp. 247-274 ◽

Cited By ~ 5

Author(s):

Franco Montagna

Keyword(s):

Strong Completeness ◽

First Order

Download Full-text

Reversibility and Irreversibility in Quantum Computation and in Quantum Computational Logics

Lecture Notes in Computer Science - Algebraic and Proof-theoretic Aspects of Non-classical Logics ◽

10.1007/978-3-540-75939-3_6 ◽

2007 ◽

pp. 84-106 ◽

Cited By ~ 1

Author(s):

Maria Luisa Dalla Chiara ◽

Roberto Giuntini ◽

Roberto Leporini

Keyword(s):

Quantum Computation ◽

Quantum Computational Logics

Download Full-text

Symmetric MV-Algebras

Lecture Notes in Computer Science - Algebraic and Proof-theoretic Aspects of Non-classical Logics ◽

10.1007/978-3-540-75939-3_3 ◽

2007 ◽

pp. 30-49

Author(s):

L. P. Belluce ◽

Antonio Di Nola ◽

Ada Lettieri

Keyword(s):

Mv Algebras

Download Full-text

Probability Theory on IF Events

Lecture Notes in Computer Science - Algebraic and Proof-theoretic Aspects of Non-classical Logics ◽

10.1007/978-3-540-75939-3_17 ◽

2007 ◽

pp. 290-308 ◽

Cited By ~ 13

Author(s):

Beloslav Riečan

Keyword(s):

Probability Theory

Download Full-text

Finitely Presented Abelian Lattice-Ordered Groups

Lecture Notes in Computer Science - Algebraic and Proof-theoretic Aspects of Non-classical Logics ◽

10.1007/978-3-540-75939-3_11 ◽

2007 ◽

pp. 160-193

Author(s):

A. M. W. Glass ◽

Françoise Point

Keyword(s):

Ordered Groups ◽

Lattice Ordered Groups ◽

Abelian Lattice ◽

Finitely Presented

Download Full-text

Note on Conditional Constructivity

Lecture Notes in Computer Science - Algebraic and Proof-theoretic Aspects of Non-classical Logics ◽

10.1007/978-3-540-75939-3_2 ◽

2007 ◽

pp. 25-29

Author(s):

Matthias Baaz

Download Full-text

The Algebras of Łukasiewicz Many-Valued Logic: A Historical Overview

Lecture Notes in Computer Science - Algebraic and Proof-theoretic Aspects of Non-classical Logics ◽

10.1007/978-3-540-75939-3_5 ◽

2007 ◽

pp. 69-83 ◽

Cited By ~ 5

Author(s):

Roberto Cignoli

Keyword(s):

Historical Overview

Download Full-text

Lecture Notes in Computer Science - Algebraic and Proof-theoretic Aspects of Non-classical LogicsLatest Publications

TOTAL DOCUMENTS

H-INDEX

Published By Springer Berlin Heidelberg

Towards the Generalization of Mundici’s Γ Functor to IMTL Algebras: The Linearly Ordered Case

A Note on Representing and Interpreting MV-Algebras

Cantor–Bernstein Property for MV-Algebras

Notes on Strong Completeness in Łukasiewicz, Product and BL Logics and in Their First-Order Extensions

Reversibility and Irreversibility in Quantum Computation and in Quantum Computational Logics

Symmetric MV-Algebras

Probability Theory on IF Events

Finitely Presented Abelian Lattice-Ordered Groups

Note on Conditional Constructivity

The Algebras of Łukasiewicz Many-Valued Logic: A Historical Overview

Lecture Notes in Computer Science - Algebraic and Proof-theoretic Aspects of Non-classical Logics
Latest Publications