Peter Lavers

Bibliography

Lavers, Peter. 1990. “Proof-Functional Semantics for Relevant Implication.” PhD dissertation, Canberra: Philosophy Department, Australian National University.
Lavers, Peter. 1994. “Generalising Tautological Entailment.” Logique et Analyse 37(147–148): 367–377.