Dear Tony, The deduction theorem does not hold for many modal logics. PDL is a classical example.
Mario Em 17 de junho de 2011 13:36, Tony Marmo <marmo.t...@gmail.com> escreveu: > 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 > -- Federal University of Rio de Janeiro www.cos.ufrj.br/~mario _______________________________________________ Logica-l mailing list Logica-l@dimap.ufrn.br http://www.dimap.ufrn.br/cgi-bin/mailman/listinfo/logica-l