A Kripke-style and relational semantics for logics based on Łukasiewicz algebras

Journal of Multiple-Valued Logic and Soft Computing

Volumn 12, Issue 1-2, 2006, Pages 131-147

  Iturrioz, Luisa ^a   OrŁowska, Ewa ^b  

^a UNIVERSITÉ LYON 1   (France)

^b NATIONAL INSTITUTE OF TELECOMMUNICATIONS   (Poland)

Author keywords

Kripke and relational semantics; N valued ukasiewicz logics; Symmetrical Heyting algebras of order n

Indexed keywords

FORMAL LOGIC; LINEAR ALGEBRA;

KRIPKE AND RELATIONAL SEMANTICS; KRIPKE-STYLE SEMANTICS; N-VALUED ŁUKASIEWICZ LOGICS; SYMMETRICAL HEYTING ALGEBRAS OF ORDER;

SEMANTICS;

EID: 33645668086     PISSN: 15423980     EISSN: None     Source Type: Journal    
DOI: None     Document Type: Article

References (16)

1. Białynicki-Birula, A. and Rasiowa, H. (1957). On representation of quasi-Boolean algebras, Bull. Ac. Pol. Sc., CL III, 5, 259-261.
2. Cignoli, R. (1982). Proper n-Valued Łukasiewicz Algebras as S-Algebras of Łukasiewicz n-Valued Propositional Calculi, Studia Logica, 41, 3-16.
3. Düntsch, I., MacCaull, W. and Orłowska, E. (2000). Structures with many-valued information and their relational proof theory, in: Proceedings of the 30th International Symposium on Multiple-Valued Logic, Portland, Oregon, 293-301.
4. Iturrioz, L. (1982). Modal Operators on Symmetrical Heyting Algebras, in: T. Traczyk (ed.), Universal Algebra and Applications, 9, Banach Center Publications, PWN-Polish Scientific Publ., 289-303.
5. Iturrioz, L. (1983). Symmetrical Heyting algebras with Operators, Zeitschr. f. Math. Logik und Grundlagen d. Math., 29, 33-70.
6. Konikowska, B., Morgan, Ch. and Orłowska, E. (1998). Relational semantics for arbitrary finite-valued logics, in: E. Orłowska and A. Szaas (eds), Proceedings of the 4th International Seminar on Relational Methods in Logic, Algebra and Computer Science RelMiCS'98, 138-143.
7. Konikowska, B., Morgan, Ch. and Orłowska, E. (1998). A relational formalisation of arbitrary many-valued logics, Logic J. IGPL, 6(5), 755-774.
8. Konikowska, B. and Orłowska, E. (2001). A relational formalisation of a generic many-valued modal logic, in: E. Orłowska and A. Szałas (eds), Relational Methods for Computer Science Applications, Studies in Fuzziness and Soft Computing, Springer-Physica Verlag, 65, 183-202.
9. MacCaull, W. and Orłowska, E. (2002). Correspondence results for relational proof systems with applications to the Lambek calculus, Studia Logica, 71, 389-414.
10. Moisil, Gr. C. (1972). Essais sur les logiques non chrysippiennes, Académie R.S. Roumaine, Bucarest.
11. Nour, A. (1997). Etudes de systèmes logiques extensions de la logique intuitioniste. Thèse de doctorat, Université Joseph Fourier, Grenoble.
12. Orłowska, E. (1988). Relational interpretation of modal logics, in: H. Andréka, J. D. Monk, and I. Németi, (eds), Algebraic Logic, Colloquia Mathematica Societatis János Bolyai, North-Holland, 54, 443-471.
13. Orłowska, E. (1996). Relational Proof Systems for Modal Logics, in: H. Wansing (ed.), Proof Theory of Modal Logics, Kluwer, 55-77.
14. Orłowska, E. (1991). Relational semantics of nonclassical logics: Formulas are relations, in: J. Woleński (ed.), Philosophical Logic in Poland, Kluwer, 167-186.
15. Rasiowa, H. (1974). An Algebraic Approach to Non-Classical Logics, Studies in Logic, North-Holland, 78.
16. Vakarelov, D. (1977). Lattices Related to Post Algebras and Their Applications to Some Logical Systems, Studia Logica, 36, 89-107.