Algebraic and proof-theoretic aspects of non-classical logics papers in honor of Daniele Mundici on the occasion of his 60th birthday /
Edited in collaboration with FoLLI, the Association of Logic, Language and Information, this book constitutes the third volume of the FoLLI LNAI subline. The 17 revised papers of this Festschrift volume - published in honour of Daniele Mundici on the occasion of his 60th birthday - include invited e...
Saved in:
Other Authors: | Mundici, Daniele, 1946-, Aguzzoli, Stefano., SpringerLink (Online service) |
---|---|
Format: | eBook |
Language: | English |
Published: |
Berlin ; New York :
Springer,
©2007.
Berlin ; New York : [2007] |
Physical Description: |
1 online resource (viii, 308 pages) : illustrations. |
Series: |
Lecture notes in computer science ;
4460. Lecture notes in computer science. Lecture notes in artificial intelligence. Lecture notes in computer science. Lecture notes in artificial intelligence. FoLLI publications on logic, language and information. |
Subjects: |
In Prospector
Similar Items
-
Logical options : an introduction to classical and alternative logics
by: Bell, J. L.
Published: (2001) -
Logic : a brief course
by: Mundici, Daniele, 1946-
Published: (2012) -
Interval/probabilistic uncertainty and non-classical logics
Published: (2008) -
An algebraic approach to non-classical logics
by: Rasiowa, Helena.
Published: (1974) -
Non-classical logics, model theory, and computability : proceedings of the Third Latin-American Symposium on Mathematical Logic, Campinas, Brazil, July 11-17, 1976
Published: (1977)