Abstract
We study axiomatic extensions of the propositional constructive logic with strong negation having the disjunction property in terms of corresponding to them varieties of Nelson algebras. Any such varietyV is characterized by the property: (PQWC) ifA,B εV, thenA×B is a homomorphic image of some well-connected algebra ofV.
We prove:
-
each varietyV of Nelson algebras with PQWC lies in the fibre σ−1(W) for some varietyW of Heyting algebras having PQWC,
-
for any varietyW of Heyting algebras with PQWC the least and the greatest varieties in σ−1(W) have PQWC,
-
there exist varietiesW of Heyting algebras having PQWC such that σ−1(W) contains infinitely many varieties (of Nelson algebras) with PQWC.
Article PDF
Similar content being viewed by others
Avoid common mistakes on your manuscript.
References
R. Cignoli,The class of Kleene algebras satisfying an interpolation property and Nelson algebras, Algebra Universalis 23 (1986), 262–292.
M. M. Fidel,An algebraic study of a propositional system of Nelson, Mathematical Logic, Proc. of the First Brazilian Conference, Marcel Dekker, New York 1978, 99–117.
V. Goranko,The Craig interpolation theorem for propositional logics with strong negation, Studia Logica 49(1985), 291–317.
T. Hosoi, H. Ono,Intermediate propositional logics (A survey) J. Tsuda College 5(1973), 67–82.
R. E. Kirk,A result on propositional logics having the disjunction property, Notre Dame Journal of Formal Logic 23(1982), 71–74.
A. A. Markov,Constructive logic (in Russian), Uspekhi Matematiczeskih Nauk 5(1950), 187–188.
L. L. Maksimova,On maximal intermediate logics with the disjunction property, Studia Logica 45(1986), 69–75.
D. Nelson,Constructible falsity, The Journal of Symbolic Logic 14(1949), 16–26.
H. Rasiowa,N-lattices and constructive logics with strong negation, Fundamenta Mathematice 46(1958), 61–80.
H. Rasiowa,An algebraic approach to non-classical logics, North-Holland, Amsterdam, PWN, Warszawa 1974.
A. Sendlewski,Some investigations of varieties of N-lattices, Studia Logica 43(1984), 257–280.
A. Sendlewski,Equationally definable classes of Nelson algebras and their connection with classes of Heyting algebras (in Polish), Preprint of the Institute of Mathematics of Nicholas Copernicus University 2(1984), 1–170.
A. Sendlewski,Nelson algebras through Heyting ones. I, Studia Logica, 49(1990), 105–126.
D. Vakarelov,Notes on N-lattices and constructive logic with strong negation, Studia Logica 36(1977), 109–125.
A. Wroński,Intermediate logics and the disjunction property, Reports on Mathematical Logic 1(1973), 39–51.
V. A. Yankov,Construction of a sequence of strong independent superintuitionistic propositional calculi, (in Russian) Doklady AN SSSR 181(1968), 33–34.
Author information
Authors and Affiliations
Rights and permissions
About this article
Cite this article
Sendlewski, A. Axiomatic extensions of the constructive logic with strong negation and the disjunction property. Stud Logica 55, 377–388 (1995). https://doi.org/10.1007/BF01057804
Received:
Issue Date:
DOI: https://doi.org/10.1007/BF01057804