论文信息 - Notes on N-lattices and constructive logic with strong negation - 字舞流文

Notes on N-lattices and constructive logic with strong negation

Dimiter Vakarelov | D. Vakarelov

[1] A. Monteiro,et al. Construction des algebres de Nelson finies , 1964 .

[2] Helena Rasiowa,et al. On constructible falsity in the constructive logic with strong negation , 1958 .

[3] Helena Rasiowa,et al. On the Representation of Quasi-Boolean Algebras , 1957 .

[4] A. Tarski,et al. On Closed Elements in Closure Algebras , 1946 .

[5] Helena Rasiowa,et al. N-lattices and constructive logic with strong negation , 1958 .

[6] R. Sikorski,et al. The mathematics of metamathematics , 1963 .