Switch to: References

Citations of:

A Constructive Logic

Journal of Symbolic Logic 18 (3):257-257 (1953)

Add citations

You must login to add citations.
  1. An Algebraic Study of Tense Operators on Nelson Algebras.A. V. Figallo, G. Pelaitay & J. Sarmiento - 2020 - Studia Logica 109 (2):285-312.
    Ewald considered tense operators G, H, F and P on intuitionistic propositional calculus and constructed an intuitionistic tense logic system called IKt. In 2014, Figallo and Pelaitay introduced the variety IKt of IKt-algebras and proved that the IKt system has IKt-algebras as algebraic counterpart. In this paper, we introduce and study the variety of tense Nelson algebras. First, we give some examples and we prove some properties. Next, we associate an IKt-algebra to each tense Nelson algebras. This result allowed us (...)
    Download  
     
    Export citation  
     
    Bookmark   2 citations  
  • Non-Classical Negation in the Works of Helena Rasiowa and Their Impact on the Theory of Negation.Dimiter Vakarelov - 2006 - Studia Logica 84 (1):105-127.
    The paper is devoted to the contributions of Helena Rasiowa to the theory of non-classical negation. The main results of Rasiowa in this area concerns–constructive logic with strong (Nelson) negation.
    Download  
     
    Export citation  
     
    Bookmark   8 citations