Tense θ-valued Moisil propositional logic
Keywords:
Åukasiewicz-Moisil algebras, tense Moisil logic.Abstract
In this paper we study the tense θ-valued Moisil propositional calculus, a logical system obtained from the θ-valued Moisil propositional logic by adding two tense operators. The main result is a completeness theorem for tense θ-valued Moisil propositional logic. The proof of this theorem is based on the representation theorem of tense θ-valued Åukasiewicz-Moisil algebras, developed in a previous paper.References
V. Boicescu, Sur les syst emes déductifs dans la logique θ-valente, Publ. D ep. Math. Lyon, 8, 123-133, 1971.
V. Boicescu, A. Filipoiu, G. Georgescu and S. Rudeanu, Åukasiewicz-Moisil algebras, North- Holland, 1991.
V. Boicescu, Contributions to the study of Åukasiewicz-Moisil algebras (Romanian), Ph.D. Thesis, University of Bucharest, 1984.
V. Boicescu, Sur une logique polyvalente, Rev. Roumaine Sci. Soc., s er. Philos. et Logique, 17, 393-405, 1973b.
J. P. Burgess. Basic tense logic. In: Dov Gabbay and F. Guenthner, Eds., Handbook of philosophical logic, chapter II.2, Reidel, 89-134, 1984. http://dx.doi.org/10.1007/978-94-009-6259-0_2
R. Cignoli, I.M.L. D'Ottaviano and D. Mundici, Algebraic Foundations of Many-valued Reasoning, Kluwer, 2000. http://dx.doi.org/10.1007/978-94-015-9480-6
C. Chiriţă, Tense θ-valued Åukasiewicz -Moisil algebras, to appear in Journal of Multiple- Valued Logic and Soft Computing.
D. Diaconescu, G. Georgescu, Tense operators on MV-algebras and Åukasiewicz-Moisil algebras, Fundamenta Informaticae XX: 1-30, 2007.
I. Dziţac, L. Andrei, 65 Years from Birth of Prof. Gheorghe S. Nadiu (1941-1998), International Journal of Computers, Communications & Control Vol. I, No. 3, pp. 93-98, 2006.
A. Filipoiu, θ-valued Åukasiewicz-Moisil algebras and logics (Romanian), Ph.D.Thesis, University of Bucharest, 1981.
G. Georgescu, A. Iorgulescu, S. Rudeanu, Grigore C. Moisil (1906-1973) and his School in Algebraic Logic, Int. Journal of Computers, Communications & Control, Vol. I, No. 1, pp. 81-99, 2006.
G. Georgescu, A. Iorgulescu, S. Rudeanu, Some Romanian researches in algebra of logic, In: Grigore C.Moisil and his followers, Editura Academiei Romane, 86-120, 2007.
G. Georgescu, A. Iorgulescu, I. LeuÅŸtean, Monadic and closure MV-algebras, Multiple- Valued Logic, 3, 235-257, 1998.
R. Goldblatt, Logics of Time and Computation, CSLI Lecture Notes No. 7, 1992.
P. H ajek, Metamathematics of fuzzy logic, Kluwer Acad.Publ., Dordrecht, 1998
A. Iorgulescu, 1 + θ -valued Åukasiewicz-Moisil algebras with negation (Romanian). Ph.D. Thesis, University of Bucharest, 1984.
J. Åukasiewicz, On three-valued logic, Ruch Filozoficzny (Polish), 5, 60-171, 1920.
Gr. C. Moisil, Recherches sur les logiques non-chrysippiennes, Ann. Sci. Univ. Jassy, 26, 431-466, 1940.
Gr. C. Moisil, Notes sur les logiques non-chrysippiennes, Ann. Sci. Univ. Jassy, 27, 86-98, 1941.
Gr. C. Moisil, Logique modale, Disquis. Math. Phys, 2, 1942.
Gr. C. Moisil, Åukasiewiczian algebras, Computing Center, University of Bucharest (preprint), 311-324, 1968.
Gr. C. Moisil, Essais sur les logiques non-chrysippiennes, Ed. Academiei, Bucharest, 1972.
Gh. S. Nadiu, Cercetări asupra logicilor necryssipiene/Research about Necryssipiene Logics, 1972 (PhD Thesis, supervisor Grigore C. Moisil).
H. Rasiowa, An algebraic approach to non-classical logics, North-Holland Publ., Amsterdam, Polish Scientific Publ., Warszawa, 1974.
Published
Issue
Section
License
ONLINE OPEN ACCES: Acces to full text of each article and each issue are allowed for free in respect of Attribution-NonCommercial 4.0 International (CC BY-NC 4.0.
You are free to:
-Share: copy and redistribute the material in any medium or format;
-Adapt: remix, transform, and build upon the material.
The licensor cannot revoke these freedoms as long as you follow the license terms.
DISCLAIMER: The author(s) of each article appearing in International Journal of Computers Communications & Control is/are solely responsible for the content thereof; the publication of an article shall not constitute or be deemed to constitute any representation by the Editors or Agora University Press that the data presented therein are original, correct or sufficient to support the conclusions reached or that the experiment design or methodology is adequate.
