Dear Friends, I write to inquire about an example of logic system to which the meta-inference rule does not apply. If you can remember any, please feel free to respond this.
By meta-inference rule I mean: If A,B |- C, then A |- B=>C Thank you very much. _______________________________________________ Logica-l mailing list Logica-l@dimap.ufrn.br http://www.dimap.ufrn.br/cgi-bin/mailman/listinfo/logica-l