Notes on N-lattices and constructive logic with strong negation

Studia Logica: An International Journal for Symbolic …, 1977 - JSTOR
The logic mentioned in the title is introduced and investigated by Vorob'ev [1],[2],[3].
Vorob'ev claims that this logic is a formalization of the following idea, suggested by Nelson …
被引用次数：202 相关文章

[引用][C] Notes on N-lattices and constructive logic with strong negation

D Vakarelov - Studia Logica, 1977 - philpapers.org
D. Vakarelov, Notes on N-lattices and constructive logic with strong negation - PhilPapers Sign
in | Create an account PhilPapers PhilPeople PhilArchive PhilEvents PhilJobs PhilPapers …

[引用][C] Notes on N-lattices and constructive logic with strong negation

D Vakarelov - Studia Logica, 1977 - Springer
The logic mentioned in the title is introduced and investigated by Vorob'ev [1],[2],[3].
Vorob'ev claims that this logic is a formalization of the following idea, suggested by l~-elson …

[引用][C] Notes on N-Lattices and Constructive Logic With Strong Negation

D VAKARELOV - Studia Logica, 1977 - pascal-francis.inist.fr
Notes on N-Lattices and Constructive Logic With Strong Negation CNRS Inist Pascal-Francis
CNRS Pascal and Francis Bibliographic Databases Simple search Advanced search Search by …

[引用][C] Notes on N-lattices and constructive logic with strong negation

D Vakarelov - Studia Logica, 1977 - Springer