An ecumenical notion of entailment
Sign Up to like & getrecommendations! Published in 2019 at "Synthese"
DOI: 10.1007/s11229-019-02226-5
Abstract: Much has been said about intuitionistic and classical logical systems since Gentzen’s seminal work. Recently, Prawitz and others have been discussing how to put together Gentzen’s systems for classical and intuitionistic logic in a single… read more here.
Keywords: system; ecumenical notion; notion entailment; notion ... See more keywords