An Introduction to Substructural Logics [Paperback]

algebra  antecedent  arrow  axiom  between  case  category  chapter  class  closed  closure  complete  conditions  conjunction  connectives  consecution  consider  cut  deduction  define  defined  definition  desired  disjunction  does  element  example  fact  first  following  follows  form  formula  formulae  frame  function  fusion  given  gives  hence  holds  however  identity  ii  implication  language  lattice  left  lemma  let  logic  model  must  natural  need  negation  now  number  oa  objects  operation  operator  order  pair  point  premises  prime  proof  properties  propositional  propositions  provable  prove  relation  result  rules  satisfies  see  semantics  set  show  similarly  simple  since  space  string  structural  structure  substructural  suppose  system  term  theorem  theory  therefore  true  two  type  use  work