Now showing items 1-1 of 1

    • On the logics of algebra. 

      Barbour, Graham. (2008)
      We present and consider a number of logics that arise naturally from universal algebraic considerations, but which are ‘inherently unalgebraizable’ in the sense of [BP89a], essentially because they have no theo- rems. Of ...