| http://www.w3.org/ns/prov#value | - Our methods in particular cases give known categorical equivalences of Cornish for conical BCK-algebras and of Mundici for bounded commutative BCK-algebras (= MV-algebras). (shrink)Logic and Philosophy of Logic Direct download (7 more) My bibliography Export citation Hiroki Takamura (2012).
|
