Publisher
Springer Science and Business Media LLC
Subject
History and Philosophy of Science,Logic
Reference18 articles.
1. Anderson, A. R., N. D. Belnap, Jr., and J. M. Dunn, Entailment: The Logic of Relevance and Entailment, Vol. II, Princeton University Press, 1992.
2. Barbanera F., Dezani-Ciancaglini M. and de’Liguoro U. (1995). ‘Intersection and Union Types: Syntax and Semantics’ . Information and Computation 119: 202–230
3. Barendregt H., Coppo M., and Dezani-Ciancaglini M. (1983). ‘A Filter Lambda Model and the Completeness of Type Assignment’. Journal of Symbolic Logic 48: 931–940
4. Bimbo K., (2004). ‘Semantics for Dual and Symmetric Combinatory Calculi’. Journal of Philosophical Logic 33: 125–153
5. Bimbo K. and Dunn J.M. (1998). ‘Two Extensions of the Structurally Free Logic LC’. Logic Journal of the IGPL 6: 403–424