Switch to: Citations

Add references

You must login to add references.
  1. The Gupta-Belnap systems ${\rm S}^\#$ and ${\rm S}^*$ are not axiomatisable.Philip Kremer - 1993 - Notre Dame Journal of Formal Logic 34 (4):583-596.
    Download  
     
    Export citation  
     
    Bookmark   17 citations  
  • The Guptα-Belnαp Systems S and S* are not Axiomatisable.Philip Kremer - 1993 - Notre Dame Journal of Formal Logic 34 (4):583-596.
    Download  
     
    Export citation  
     
    Bookmark   10 citations