Switch to: Citations

Add references

You must login to add references.
  1. The Craig Interpolation Theorem for Prepositional Logics with Strong Negation.Valentin Goranko - 1985 - Studia Logica 44 (3):291 - 317.
    This paper deals with, prepositional calculi with strong negation (N-logics) in which the Craig interpolation theorem holds. N-logics are defined to be axiomatic strengthenings of the intuitionistic calculus enriched with a unary connective called strong negation. There exists continuum of N-logics, but the Craig interpolation theorem holds only in 14 of them.
    Direct download (6 more)  
     
    Export citation  
     
    Bookmark   12 citations  
  • Constructible Falsity.David Nelson - 1949 - Journal of Symbolic Logic 14 (1):16-26.
  • Notes on N-Lattices and Constructive Logic with Strong Negation.D. Vakarelov - 1977 - Studia Logica 36 (1-2):109-125.
  • Nelson Algebras Through Heyting Ones: I.Andrzej Sendlewski - 1990 - Studia Logica 49 (1):105-126.
    The main aim of the present paper is to explain a nature of relationships exist between Nelson and Heyting algebras. In the realization, a topological duality theory of Heyting and Nelson algebras based on the topological duality theory of Priestley for bounded distributive lattices are applied. The general method of construction of spaces dual to Nelson algebras from a given dual space to Heyting algebra is described. The algebraic counterpart of this construction being a generalization of the Fidel-Vakarelov construction is (...)
    Direct download (5 more)  
     
    Export citation  
     
    Bookmark   16 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.
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark   16 citations  
  • N-Lattices and Constructive Logic with Strong Negation.H. Rasiowa - 1969 - Journal of Symbolic Logic 34 (1):118-118.
  • Klassische Und Nichtklassische Aussagenlogik.Wolfgang Rautenberg - 1982 - Studia Logica 41 (4):431-431.
     
    Export citation  
     
    Bookmark   28 citations  
  • Axiomatic Extensions of the Constructive Logic with Strong Negation and the Disjunction Property.Andrzej Sendlewski - 1995 - Studia Logica 55 (3):377 - 388.
    We study axiomatic extensions of the propositional constructive logic with strong negation having the disjunction property in terms of corresponding to them varieties of Nelson algebras. Any such varietyV is characterized by the property: (PQWC) ifA,B V, thenA×B is a homomorphic image of some well-connected algebra ofV.We prove:• each varietyV of Nelson algebras with PQWC lies in the fibre –1(W) for some varietyW of Heyting algebras having PQWC, • for any varietyW of Heyting algebras with PQWC the least and the (...)
    Direct download (5 more)  
     
    Export citation  
     
    Bookmark   5 citations