Publication:4218925
From MaRDI portal
zbMath0909.03027MaRDI QIDQ4218925
Nicola Olivetti, Piero A. Bonatti
Publication date: 8 April 1999
03B60: Other nonclassical logic
68T27: Logic in artificial intelligence
03F05: Cut-elimination and normal-form theorems