Switch to: References

Add citations

You must login to add citations.
  1. The Axiom Scheme of Acyclic Comprehension.Zuhair Al-Johar, M. Randall Holmes & Nathan Bowler - 2014 - Notre Dame Journal of Formal Logic 55 (1):11-24.
    Download  
     
    Export citation  
     
    Bookmark   1 citation  
  • Cuts and gluts.Marcel Crabbé - 2005 - Journal of Applied Non-Classical Logics 15 (3):249-263.
    We characterize the notion of validity relatively to models, for comprehension axioms, containing gluts.
    Download  
     
    Export citation  
     
    Bookmark