Order:
  1.  35
    Intuitionistic N-Graphs.M. Quispe-Cruz, A. G. de Oliveira, R. J. G. B. de Queiroz & V. de Paiva - 2014 - Logic Journal of the IGPL 22 (2):274-285.
    The geometric system of deduction called N-Graphs was introduced by de Oliveira in 2001. The proofs in this system are represented by means of digraphs and, while its derivations are mostly based on Gentzen's sequent calculus, the system gets its inspiration from geometrically based systems, such as the Kneales' tables of development, Statman's proofs-as-graphs, Buss' logical flow graphs, and Girard's proof-nets. Given that all these geometric systems appeal to the classical symmetry between premises and conclusions, providing an intuitionistic version of (...)
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark   2 citations  
  2.  12
    Meaning, Function, Purpose, Usefulness, Consequences - Interconnected Concepts.R. J. G. B. de Queiroz - 2001 - Logic Journal of the IGPL 9 (5):693-734.