Tense θ-valued Moisil propositional logic

Authors

  • Carmen Chiriţă University of Bucharest Faculty of Mathematics and Computer Science Romania, 010014 Bucharest, 4 Academiei

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

2010-12-01

Most read articles by the same author(s)

Obs.: This plugin requires at least one statistics/report plugin to be enabled. If your statistics plugins provide more than one metric then please also select a main metric on the admin's site settings page and/or on the journal manager's settings pages.