Now showing items 1-1 of 1

    • Thumbnail

      Expanding the Universe of Universal Logic 

      Trafford, James (Servicio Editorial de la Universidad del País Vasco/Euskal Herriko Unibertsitatearen Argitalpen Zerbitzua, 2014)
      In (Béziau 2001), Béziau provides a means by which Gentzen s sequent calculus can be combined with the general semantic theory of bivaluations. In do- ing so, according to Béziau, it is possible to construe the abstract ...