Switch to: Citations

Add references

You must login to add references.
  1. Introduction to Lattices and Order.B. A. Davey & H. A. Priestley - 2002 - Cambridge University Press.
    This new edition of Introduction to Lattices and Order presents a radical reorganization and updating, though its primary aim is unchanged. The explosive development of theoretical computer science in recent years has, in particular, influenced the book's evolution: a fresh treatment of fixpoints testifies to this and Galois connections now feature prominently. An early presentation of concept analysis gives both a concrete foundation for the subsequent theory of complete lattices and a glimpse of a methodology for data analysis that is (...)
    Download  
     
    Export citation  
     
    Bookmark   101 citations  
  • Some results for implicational calculi.R. A. Bull - 1964 - Journal of Symbolic Logic 29 (1):33-39.
    Download  
     
    Export citation  
     
    Bookmark   5 citations  
  • Prior’s OIC nonconservativity example revisited.Lloyd Humberstone - 2014 - Journal of Applied Non-Classical Logics 24 (3):209-235.
    In his 1964 note, ‘Two Additions to Positive Implication’, A. N. Prior showed that standard axioms governing conjunction yield a nonconservative extension of the pure implicational intermediate logic OIC of R. A. Bull. Here, after reviewing the situation with the aid of an adapted form of the Kripke semantics for intuitionistic and intermediate logics, we proceed to illuminate this example by transposing it to the setting of modal logic, and then relate it to the propositional logic of what have been (...)
    Download  
     
    Export citation  
     
    Bookmark   1 citation  
  • (1 other version)The separation theorem of intuitionist propositional calculus.Alfred Horn - 1962 - Journal of Symbolic Logic 27 (4):391-399.
    Download  
     
    Export citation  
     
    Bookmark   17 citations