Skip to main content
SpringerLink
Log in

Notes on N-lattices and constructive logic with strong negation

  • Published:
Studia Logica Aims and scope Submit manuscript

This is a preview of subscription content, log in via an institution to check access.

Access this article

Log in via an institution

Price excludes VAT (USA)
Tax calculation will be finalised during checkout.

Instant access to the full article PDF.

Institutional subscriptions

References

  1. N. N. Vorob'ev,Constructive propositional calculus with strong negation (in Russian),Doklady Akademii Nauk SSSR, 85 (1952), pp. 456–468.

    Google Scholar 

  2. N. N. Vorob'ev,The problem of provability in constructive propositional calculus with strong negation. (in Russian),ibid., pp. 689–692.

    Google Scholar 

  3. N. N., Vorob'ev,Constructive propositional calculus with strong negation (in Russian),Transactions of Steklov's Institute 72 (1964), pp. 195–227.

    Google Scholar 

  4. A. A. Markov,Constructive logic (in Russian),Uspekhi Matematičeskih Nauk 5 (1950), pp. 187–188.

    Google Scholar 

  5. A. Białynicki-Birula andH. Rasiowa,On the representation of quasi-Boolean algebras,Bulletin de l'Académie Polonaise des Sciences 5 (1957), pp. 259–261.

    Google Scholar 

  6. A. Białynicki-Birula andH. Rasiowa,On constructible falsity in the constructive logic with strong negation,Colloquium Mathematicum 6 (1958), pp. 287–310.

    Google Scholar 

  7. J. Łukasiewicz,O logice trójwartościowej,Ruch Filozoficzny 5 (1920), p. 170.

    Google Scholar 

  8. A. Monteiro,Construction des algèbres de Nelson finies,Bulletin de l'Académie Polonaise des Sciences 11 (1963), pp. 359–362.

    Google Scholar 

  9. A. Monteiro,Les algèbres de Nelson semi-simple,Notas de Logica Matematica, Inst. de Mat. Universidad Nacional del Sur, Bahia Blanca.

  10. J. C. C. McKinsey andA. Tarski,On closed elements in closure algebras,Annals of Mathematics 47 (1946), pp. 122–162.

    Google Scholar 

  11. D. Nelson,Constructible falsity,Journal of Symbolic Logic 14 (1949), pp. 16–26.

    Google Scholar 

  12. H. Rasiowa,N-lattices and constructive logic with strong negation,Fundamenta Mathematicae 46 (1958), pp. 61–80.

    Google Scholar 

  13. H. Rasiowa andR. Sikorski,The mathematics of metamathematics PWN Warszawa 1963.

    Google Scholar 

  14. D. Vakarelov,Models for constructive logic with strong negation,V Balcan Mathematical Congress. Abstracts, Beograd 1974, p. 298.

Download references

Author information

Authors and Affiliations

  1. Institute of Mathematics and Mechanics with Computing Center, Bulgarian Academy of Sciences, Bulgary

    D. Vakarelov

Authors
  1. D. Vakarelov
    View author publications

    You can also search for this author in PubMed Google Scholar

Additional information

Allatum est die 2 Junii 1976

Rights and permissions

Reprints and permissions

About this article

Cite this article

Vakarelov, D. Notes on N-lattices and constructive logic with strong negation. Stud Logica 36, 109–125 (1977). https://doi.org/10.1007/BF02121118

Download citation

  • Issue Date:

  • DOI: https://doi.org/10.1007/BF02121118

Keywords

Search

Navigation