Stop the war!Остановите войну!
for scientists:
default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCID60. Birthday: Daniele Mundici, 2006
- Stefano Aguzzoli, Agata Ciabattoni
, Brunella Gerla, Corrado Manara, Vincenzo Marra:
Algebraic and Proof-theoretic Aspects of Non-classical Logics, Papers in Honor of Daniele Mundici on the Occasion of His 60th birthday. Lecture Notes in Computer Science 4460, Springer 2007, ISBN 978-3-540-75938-6
- Arnon Avron, Anna Zamansky:
Many-Valued Non-deterministic Semantics for First-Order Logics of Formal (In)consistency. 1-24 - Matthias Baaz:
Note on Conditional Constructivity. 25-29 - Lawrence Peter Belluce, Antonio Di Nola, Ada Lettieri:
Symmetric MV-Algebras. 30-49 - Xavier Caicedo:
Implicit Operations in MV-Algebras and the Connectives of Lukasiewicz Logic. 50-68 - Roberto Cignoli:
The Algebras of Lukasiewicz Many-Valued Logic: A Historical Overview. 69-83 - Maria Luisa Dalla Chiara, Roberto Giuntini, Roberto Leporini:
Reversibility and Irreversibility in Quantum Computation and in Quantum Computational Logics. 84-106 - Antonio Di Nola, Mirko Navara:
Cantor-Bernstein Property for MV-Algebras. 107-118 - Costas A. Drossos, Panagis Karazeris:
A Note on Representing and Interpreting MV-Algebras. 119-126 - Francesc Esteva, Lluís Godo:
Towards the Generalization of Mundici's Gamma Functor to IMTL Algebras: The Linearly Ordered Case. 127-137 - Tobias Gedell, Reiner Hähnle:
Verification by Parallelization of Parametric Code. 138-159 - Andrew M. W. Glass, Françoise Point:
Finitely Presented Abelian Lattice-Ordered Groups. 160-193 - Petr Hájek:
On Fuzzy Theories with Crisp Sentences. 194-200 - Stefan Hetzl, Alexander Leitsch:
Proof Transformations and Structural Invariance. 201-230 - Sándor Jenei, Franco Montagna:
Rényi-Ulam Game Semantics for Product Logic and for the Logic of Cancellative Hoops. 231-246 - Franco Montagna:
Notes on Strong Completeness in Lukasiewicz, Product and BL Logics and in Their First-Order Extensions. 247-274 - Giovanni Panti:
The Automorphism Group of Falsum-Free Product Logic. 275-289 - Beloslav Riecan:
Probability Theory on IF Events. 290-308
a service of 
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.
last updated on 2023-09-25 21:37 CEST by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint
dblp was originally created in 1993 at:
since 2018, dblp has been operated and maintained by:
the dblp computer science bibliography is funded and supported by:
