dblp.uni-trier.dewww.uni-trier.de

Giovanni Panti

List of publications from the DBLP Bibliography Server - FAQ
Coauthor Index - Ask others: ACM DL/Guide - CiteSeer - CSB - Google - MSN - Yahoo

2006
6EEGiovanni Panti: The Automorphism Group of Falsum-Free Product Logic. Algebraic and Proof-theoretic Aspects of Non-classical Logics 2006: 275-289
2001
5 Daniele Mundici, Giovanni Panti: Decidable and undecidable prime theories in infinite-valued logic. Ann. Pure Appl. Logic 108(1-3): 269-278 (2001)
1999
4 Giovanni Panti: Varieties of MV-algebras. Journal of Applied Non-Classical Logics 9(1): (1999)
1998
3 Antonio di Nola, Revaz Grigolia, Giovanni Panti: Finitely Generated Free MV-algebras and Their Automorphism Groups. Studia Logica 61(1): 65-78 (1998)
1995
2 Giovanni Panti: A Geometric Proof of the Completeness of the Lukasiewicz Calculus. J. Symb. Log. 60(2): 563-578 (1995)
1991
1 Giovanni Panti: Solution of a Number Theoretic Problem Involving Knowledge. Int. J. Found. Comput. Sci. 2(4): 419-424 (1991)

Coauthor Index

1Revaz Grigolia [3]
2Daniele Mundici [5]
3Antonio di Nola [3]

Colors in the list of coauthors

Copyright © Sun May 17 03:24:02 2009 by Michael Ley (ley@uni-trier.de)