Share  Bookmark

 Download from


x y (x y) = (x y) A.R. Anderson, N.D. Belnap and J.M. Dunn, Entailment. The Logic of Relevance and Necessity. Vol. II., Princeton University Press. 1992.
H. Andreka and Sz. Mikulas, \Lambek calculus and its relational semantics: completeness and incompleteness", Journal of Logic, Language and Information, 3:1{37, 1994.
H. Andreka and Sz. Mikulas, \Axiomatizability of positive algebras of binary relations", Algebra Universalis, 66:7{34, 2011.
H. Andreka, Sz. Mikulas and I. Nemeti, \Residuated Kleene algebras", in R.L. Constable and A. Silva (eds.), Kozen Festschrift, pages 1{11, SpringerVerlag, 2012.
K. Bimbo, J.M. Dunn and R.D. Maddux, \Relevance logic and relation algebras", Review of Symbolic Logic, 2(1):102{131, 2009.
R. Hirsch and Sz. Mikulas, \Representable semilatticeordered monoids", Algebra Universalis, 57:333{370, 2007.
R. Hirsch and Sz. Mikulas, \Positive fragments of relevance logic and algebras of binary relations", Review of Symbolic Logic, 4(1):81{105, 2011.
J. Lambek, \The mathematics of sentence structure" American Mathematical Monthly, 65:154{170, 1958.
R.D. Maddux, \Relevance logic and the calculus of relations", Review of Symbolic Logic, 3(01):41{70, 2010.
Sz. Mikulas, \Algebras of relations and relevance logic", Journal of Logic and Computation, 19:305{321, 2009.
The information is available from the following content providers:
From  Number Of Views  Number Of Downloads 

Birkbeck Institutional Research Online  IRUSUK  0  32 