Generalization of Kalmar’s method for quasi-matrix logic


Yu.V. Ivlev


Quasi-matrix logic is based on the generalization of the principles of classical logic: bivalency (a proposition take values from the domain $\{t (truth); f (falsity)\}$); consistency (a proposition can not take on both values); excluded middle (a proposition necessarily takes some of these values); identity (in a complex proposition, a system of propositions, an argument the same proposition takes the same value from domain $\{t; f\}$); matrix principle — logical connectives are defined by matrices. As a result of our generalization, we obtain quasi-matrix logic principles: the principle of four-valency (a proposition takes values from domain $\{ t^n; t^c; f^c; f^i\}$ or three-valency (a proposition takes values from domain $\{ n; c; i\}$); consistency: a proposition can not take more than one value from $\{ t^n; t^c; f^c; f^i\}$ or from $\{ n; c; i\}$; the principle of excluded fifth or fourth; identity (in a complex proposition, a system of propositions, an argument the same proposition takes the same value from domain $\{ t^n; t^c; f^c; f^i\}$ or domain $\{ n; c; i\}$); the quasi-matrix principle (logical terms are interpreted as quasifunctions). Quasi-matrix logic is a logic of factual modalities.






Arkhiereev, N., Semantics of restricted sets of state-descriptions for propositional logic, Bulletin of M.S.U., ser. ‘Philosophy’ 5:44–57, 1993 (in Russian).
Arkhiereev, N., Abstracts of PHD, Thesis ‘Semantics of restricted sets of state-descriptions’, Moscow, 2001 (in Russian).
Curry, H.B., Foundations of Mathematical Logic, New York, San Francisco, Toronto, London, 1963.
Finn, V.K., On some characteristic Truth-tablaus of classical logic and three valued Lukasiewicz logic, in Investigations of logical systems, Moscow, 1970, pp. 215–261 (in Russian).
Ivlev, V.Y., ‘Necessity’, ‘Contingency’, ‘Possibility’ in biology and their philosophical generalizations, Categories. Philosophical Journal 2:22–42, 1997 (in Russian).
Ivlev, V.Y., Categories of necessity, contingency and possibility: their sense and methodological functions in scientific cognition, Philosophy and society 2, 1997 (in Russian).
Ivlev, V.Y., and Y.V. Ivlev, Problems of construction of theory of factual modalitis, Logical investigations 7:269–278, 2000 (in Russian).
Ivlev, Y.V., Modal logic, Moscow, 1991, 224 p. (in Russian).
Ivlev, Y.V., Contentive semantic of modal logic, Moscow, 1985, 170 p. (in Russian).
Ivlev, Y.V., Quasi-functional logic, Scientific and technical information. Ser. 2. Inform. processes and systems 6, 1992 (in Russian).
Ivlev, Y.V., Truth-tables for modal logic, Bulletin of M.S.U., ser. ‘Philosophy’ 6, 1973 (in Russian).
Ivlev, Y.V., Theory of Logical Modalities, Multi. Val. Logic, 5:91–102, 2000.
Ivlev, Y.V., Outlines of the transition from the principles of traditional logic to the principles of non-classical logic, in Zwischen traditioneller und modernen logik. Nichnklassische Ansatze, Mentis, 2001, pp. 297–310.
Ivlev, Y.V., Quasi-matrix logic, Journal of Multi. Val. Logic and Soft Computing 11(3-4):239–252, 2005.
Karpenko, A.S., Many-valued logic, Moscow, 1997 (in Russian).
Rescher, N., Many-valued logic, N.Y., 1969.