2000, `Fibring (Para)consistent Logics (0)

by M Coniglio, A Martins, A Sernadas, C Sernadas
Venue:Section of Computer Science, Department of Mathematics, Instituto Superior Tecnico