Switch to: References

Add citations

You must login to add citations.
  1. Hommage à Hugues Leblanc, philosophe logicien.Robert Nadeau - 1986 - Philosophiques 13 (1):131-145.
    Direct download (7 more)  
     
    Export citation  
     
    Bookmark  
  • A Survey of Nonstandard Sequent Calculi.Andrzej Indrzejczak - 2014 - Studia Logica 102 (6):1295-1322.
    The paper is a brief survey of some sequent calculi which do not follow strictly the shape of sequent calculus introduced by Gentzen. We propose the following rough classification of all SC: Systems which are based on some deviations from the ordinary notion of a sequent are called generalised; remaining ones are called ordinary. Among the latter we distinguish three types according to the proportion between the number of primitive sequents and rules. In particular, in one of these types, called (...)
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark   5 citations  
  • Sentence connectives in formal logic.Lloyd Humberstone - forthcoming - Stanford Encyclopedia of Philosophy.