Switch to: Citations

Add references

You must login to add references.
  1. Some investigations of varieties of N -lattices-lattices.Andrzej Sendlewski - 1984 - Studia Logica 43 (3):257-280.
    We examine some extensions of the constructive propositional logic with strong negation in the setting of varieties of $\mathcal{N}$ -lattices. The main aim of the paper is to give a description of all pretabular, primitive and preprimitive varieties of $\mathcal{N}$ -lattices.
    Download  
     
    Export citation  
     
    Bookmark   10 citations  
  • Some Investigations of Varieties of N-Lattices.Andrzej Sendlewski - 1984 - Studia Logica 43 (3):257 - 280.
    We examine some extensions of the constructive propositional logic with strong negation in the setting of varieties of N-lattices. The main aim of the paper is to give a description of all pretabular, primitive and preprimitive varieties of N-lattices.
    Download  
     
    Export citation  
     
    Bookmark   17 citations  
  • An Algebraic Approach to Non-Classical Logics.Anne Preller - 1977 - Journal of Symbolic Logic 42 (3):432-432.
    Download  
     
    Export citation  
     
    Bookmark   85 citations  
  • The axiomatization of override and update.Jasper Berendsen, David N. Jansen, Julien Schmaltz & Frits W. Vaandrager - 2010 - Journal of Applied Logic 8 (1):141-150.
    Download  
     
    Export citation  
     
    Bookmark   2 citations