A paraconsistent higher order logic (2004)

by Jørgen Villadsen
Venue:INTERNATIONAL WORKSHOP ON PARACONSISTENT COMPUTATIONAL LOGIC, VOLUME 95 OF ROSKILDE UNIVERSITY, COMPUTER SCIENCE, TECHNICAL REPORTS
Citations:5 - 5 self