1 paper
Bruno Lopes, Cecília Englander, Fernanda Lobo +1
In 1965 Dag Prawitz presented an extension of Gentzen-type systems of Natural Deduction to modal concepts of S4. Maria da Paz Medeiros showed in 2006 that the proof of normalisatio…