Many-valued logics—implications and semantic consequences

Open access

Abstract

In this paper an application of the well-known matrix method to an extension of the classical logic to many-valued logic is discussed: we consider an n-valued propositional logic as a propositional logic language with a logical matrix over n truth-values. The algebra of the logical matrix has operations expanding the operations of the classical propositional logic. Therefore we look over the Łukasiewicz, Post, Heyting and Rosser style expansions of the operations negation, conjunction, disjunction and with a special emphasis on implication.

In the frame of consequence operation, some notions of semantic consequence are examined. Then we continue with the decision problem and the logical calculi. We show that the cause of difficulties with the notions of semantic consequence is the weakness of the reviewed expansions of negation and implication. Finally, we introduce an approach to finding implications that preserve both the modus ponens and the deduction theorem with respect to our definitions of consequence.

[1] M. Bergmann, An Introduction to Many-Valued and Fuzzy Logic: Semantics, Algebras, and Derivation Systems, Cambridge University Press, 2008. ⇒151

[2] L. Bolc, P. Borowik, Many-valued Logics. Vol.1. Theoretical Foundations, Springer-Verlag, Berlin, 1992. ⇒151

[3] R. Hähnle, G. Escalada-Imaz, Deduction in many-valued logics: a survey, Mathware and Soft Computing 4, 2 (1997) 69-97. 151

[4] J.-L. Lee, On compactness theorem, in: Taiwan Philosophical Association 2006 Annual Meeting, (2006) pp. 1-11. ⇒153

[5] K. Pásztor Varga, M. Várterész, Many-valued logic, mappings, ICF graphs, normal forms, Annales Univ. Sci. Budapest. de R. Eötvös Nom. Sect. Computatorica 31 (2009) 185-202. ⇒147

[6] J. B. Rosser, A. R. Turquette, Many-valued Logics. Studies in Logic and Foundations of Math., North-Holland Publishing Co., Amsterdam, 1952. ⇒157

[7] A. Tarski, On some fundamental concepts of metamathematics, in: Logic, Semantics and Metamath., Clarendon Press, Oxford, 1956, pp. 30-38. ⇒148

Acta Universitatis Sapientiae, Informatica

The Journal of "Sapientia" Hungarian University of Transylvania

Journal Information

Metrics

All Time Past Year Past 30 Days
Abstract Views 0 0 0
Full Text Views 83 83 12
PDF Downloads 12 12 0