Switch to: Citations

Add references

You must login to add references.
  1. Noncummulative cylindric algebras and relativizations of cylindric algebras.Richard Thompson - 1988 - Bulletin of the Section of Logic 17 (2):75-81.
    We obtain the class NA of noncommutative cylindric algebras from the class CA of cylindric algebras by weakening the axiom C4 of commutativity of cylindrifications . Some motivation for studying noncommutative cylindric algebras: Noncommutative cylindric algebras have the same “substitutional structure” as cylindric algebras , where substitutional structure refers to the equational behaviour of the substitution operations, the s i j ’s. For certain technical reasons, NA’s turn out to be useful in the study of the substitutional structure of CA’s. (...)
    Download  
     
    Export citation  
     
    Bookmark   1 citation  
  • Normal forms in modal logic.Kit Fine - 1975 - Notre Dame Journal of Formal Logic 16 (2):229-237.
    Download  
     
    Export citation  
     
    Bookmark   40 citations  
  • Improved decision procedures for Lewis's calculus s4 and Von Wright's calculus M.Alan Ross Anderson - 1954 - Journal of Symbolic Logic 19 (3):201-214.
    Download  
     
    Export citation  
     
    Bookmark   8 citations  
  • On atomicity of free algebras in certain cylindric-like varieties.Zalán Gyenis - 2011 - Logic Journal of the IGPL 19 (1):44-52.
    In this paper we show that the one-generated free three dimensional polyadic and substitutional algebras Fr1PA3 and Fr1SCA3 are not atomic. What is more, their corresponding logics have the Gödel’s incompleteness property. This provides a partial solution to a longstanding open problem of Németi and Maddux going back to Alfred Tarski via the book [12].
    Download  
     
    Export citation  
     
    Bookmark   4 citations