Showing posts with the label Gambarajah

Gambarajah Venn

Proofs proceed by applying the rules which remove or add syntactic elements to or from. In the early 1990s Sun-Joo Shin…