Maria Luisa Dalla Chiara Daniele Mundici 117-120 1999 62 Studia Logica 2 db/journals/sLogica/sLogica62.html#ChiaraM99