Abstract
We examine some extensions of the constructive propositional logic with strong negation in the setting of varieties of\(\mathcal{N}\)-lattices. The main aim of the paper is to give a description of all pretabular, primitive and preprimitive varieties of\(\mathcal{N}\)-lattices.
Similar content being viewed by others
References
A. Białynicki-Birula andH. Rasiowa,On constructible falsity in the constructive logic with strong negation,Colloquium Mathematicum 6 (1958), pp. 287–310.
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.
D. Brignole andA. Monteiro,caractérisation des algèbres de Nelson par des égalités, I, II,Proceedings of the Japan Academy 43 (1967), pp. 279–283, 284–285.
M. M. Fidel,An algebraic study of a propositional system of Nelson,Mathematical Logic, Proceedings of the First Brazilian Conference, Marcel Dekker, New York 1978, pp. 99–117.
G. Grätzer,Universal algebra, Van Nostrand, Princeton 1968.
G. Grätzer andH. Lakser,A note on the implicational class generated by a class of structures,Canadian Mathematical Bulletin 16 (1973), pp. 603–605.
D. H. J. de Jongh andA. S. Troelstra,On the connection of partially ordered sets with some pseudo-Boolean algebras,Indagationes Mathematicae 28 (1966), pp. 317–329.
B. Jónsson,Algebras whose congruence lattices are distributive,Mathematica Scandinavica 21 (1987), pp. 110–121.
L. L. Maksimova,Pretabular super-intuitionistic logics (in Russian),Algebrai Logika 11 (1972), pp. 558–570.
A. I. Mal'cev,Algebraic Systems, (in Russian), Izdatielstvo “Nauka”, Moskva 1970.
A. Monteiro,Construction des algèbres de Nelson finies,Bulletin de l'Académie Polonaise des Sciences 11 (1963), pp. 359–362.
A. Monteiro,Les algèbres de Nelson semi-simple,Notas de Logica Mathematica, Inst. de Mat. Universitad Nacional del Sur, Bahia Blanca.
A. A. Markov,Constructive logic (in Russian),Uspekhi Matematiceskih Nauk 5 (1950), pp. 187–188.
D. Nelson,Constructible falsity,Journal of Symbolic Logic 14 (1949), 16–26.
H. Rasiowa,\(\mathcal{N}\)-lattices and constructive logic with strong negation,Fundamenta Mathematice 46 (1958), pp. 61–80.
H. Rasiowa,An algebraic approach to non-classical logics, North-Holland, Amsterdam, PWN, Warsaw 1974.
I. Rival andB. Sands,A note on the congruence lattice of finitely generated algebra,Proceedings of American Mathematical Society 72 (1978), pp. 451–455.
R. Routley,Semantical analyses of propositional systems of Fitch and Nelson,Studia Logica 33 (1974), pp. 283–298.
R. H. Thomason,A semantical study of constructible falsity,Zeitschrift für Mathematische Logik und Grundlagen der Mathematik, 15 (1969), pp. 247–257.
A. I. Tsitkin,On structurally complete superintuitionistic logics (in Russian),Doklady Akademii Nauk SSSR 241 (1978), pp. 40–43.
D. Vakarelov, Notes on\(\mathcal{N}\)-lattices and constructive logic with strong negation,Studia Logica 36 (1977), pp. 109–125.
N. N. Vorob'ev,Constructive propositional calculus with strong negation (in Russian),Doklady Akademii Nauk SSSR 85 (1952), pp. 456–468.
N. N. Vorob'ev,The problem of provability in propositional calculus with strong negation (in Russian), ibid., pp. 689–692.
Author information
Authors and Affiliations
Rights and permissions
About this article
Cite this article
Sendlewski, A. Some investigations of varieties ofN-lattices-lattices. Stud Logica 43, 257–280 (1984). https://doi.org/10.1007/BF02429842
Received:
Issue Date:
DOI: https://doi.org/10.1007/BF02429842