#### Filter Results:

- Full text PDF available (2)

#### Publication Year

1987

2002

- This year (0)
- Last 5 years (0)
- Last 10 years (0)

#### Publication Type

#### Co-author

#### Journals and Conferences

#### Key Phrases

Learn More

- S Cerutti, G Chiarenza, D Liberati, P Mascellani, G Pavesi
- IEEE transactions on bio-medical engineering
- 1988

- Paolo Mascellani, Dino Pedreschi
- Computational Logic: Logic Programming and Beyond
- 2002

- P. Mascellani
- 2001

Paraconsistent logics are generally considered somewhat esoteric. Moreover, someone argued that they simply not exist, because paraconsistent negations are not negations. The aim of this work is to provide some valid reasons to reject both these assumptions. Negation as finite failure (NAF) is the standard way to compute negation, used, for instance, by all… (More)

- Paolo Mascellani, Pier Daniele Napoletani
- ICHIM
- 2001

MauroTeX, an extension of the wellknown LaTeX typesetting system, is a language designed in order to completely describe philological critical editions of ancient mathematical and scientific works. It provides a set of tnacros that the editor can use starting from the early stages of the edition (the transcription and the collation of the different… (More)

- Paolo Mascellani, Dino Pedreschi
- ICLP Workshop: Verification and Analysis of Logic…
- 1994

- Paolo Mascellani, Dino Pedreschi
- GULP-PRODE
- 1994

- G A Chiarenza, S Cerutti, D Liberati, P Mascellani, G Pavesi
- Electroencephalography and clinical…
- 1987

- ‹
- 1
- ›