Switch to: Citations

Add references

You must login to add references.
  1. The Finite Inseparability of the First-Order Theory of Diagonalisable Algebras.Craig Smoryński - 1982 - Studia Logica 41 (4):347 - 349.
    In a recent paper, Montagna proved the undecidability of the first-order theory of diagonalisable algebras. This result is here refined — the set of finitely refutable sentences is shown effectively inseparable from the set of theorems. The proof is quite simple.
    Direct download (4 more)  
     
    Export citation  
     
    Bookmark   3 citations  
  • Self-Reference and Modal Logic.[author unknown] - 1987 - Studia Logica 46 (4):395-398.
     
    Export citation  
     
    Bookmark   41 citations  
  • Self-Reference and Modal Logic.George Boolos & C. Smorynski - 1988 - Journal of Symbolic Logic 53 (1):306.
  • A Completeness Result for Fixed-Point Algebras.Franco Montagna - 1984 - Zeitschrift fur mathematische Logik und Grundlagen der Mathematik 30 (32-34):525-532.
  • A Completeness Result for Fixed‐Point Algebras.Franco Montagna - 1984 - Mathematical Logic Quarterly 30 (32‐34):525-532.