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:6 - 6 self