Semantic Entailment in Non Classical Logics Based on Proofs Found in Classical Logic.

Ricardo Caferra, Stphane Demri

Browse the full CADE paper archive.