Publisher
Springer International Publishing
Reference33 articles.
1. Avron, A. (1984). Relevant entailment - semantics and formal systems. Journal of Symbolic Logic, 49(2), 334–342.
2. Avron, A. (1987). A constructive analysis of $$RM$$. Journal of Symbolic Logic, 52, 939–951.
3. Avron, A. (1988). The semantics and proof theory of linear logic. Theoretical Computer Science, 57, 161–184.
4. Avron, A. (1991). Using hypersequents in proof systems for non-classical logics. Annals of Mathematics and Artificial Intelligence, 4, 225–248.
5. Avron, A. (1996). The method of hypersequents in the proof theory of propositional non-classical logics. In W. Hodges, M. Hyland, C. Steinhorn, & J. Truss (Eds.), Logic: From Foundations to Applications (pp. 1–32). Oxford: Oxford University Press.