DMCA

Almost duplication-free tableau calculi for propositional Lax logics (1996)

Cached

Download Links

by Alessandro Avellone , Mauro Ferrari
Venue:In TABLEAUX'96
Citations:4 - 0 self