Notes on N-lattices and constructive logic with strong negation-Reference-Cited by-同舟云学术

Notes on N-lattices and constructive logic with strong negation

Published:1977-03 Issue:1-2 Volume:36 Page:109-125
ISSN:0039-3215
Container-title:Studia Logica
language:en
Short-container-title:Stud Logica

Author:

Vakarelov D.

Publisher

Springer Science and Business Media LLC

Subject

History and Philosophy of Science,Logic

Link

http://link.springer.com/content/pdf/10.1007/BF02121118.pdf

Reference14 articles.

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

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

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

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

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.

Cited by 108 articles. 订阅此论文施引文献订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献

1. Specification of paraconsistent transition systems, revisited;Science of Computer Programming;2025-02

2. Modality across different logics;Logic Journal of the IGPL;2024-08-09

3. Combining Swap Structures: The Case of Paradefinite Ivlev-Like Modal Logics Based on $$FDE$$;Studia Logica;2024-07-30

4. Ivlev-Like Modal Logics of Formal Inconsistency Obtained by Fibring Swap Structures;Studia Logica;2024-07-23

5. On a Four-Valued Logic of Formal Inconsistency and Formal Undeterminedness;Studia Logica;2024-05-03