Основные области приложения квазиматричной логики.

Abstract

The basic notion of quasi-matrix logic is a notion of quasi-matrix. A set $(Q,G,qf_l,...,qf_s)$ is a quasi-matrix. Q and G are non-empty sets. $Q\subseteq G$ ; $qf_l,...,qf_s$ are quasi-functions.

This logic had been created to describe connections between statements containing notions “necessity”, “possibility”, “contingency” and some others meaning as factual (physical, ontological) modalities. The main systems of four-valued and three-valued quasi-matrix logic are presenting in [1-6].

Quasi-matrix logic has been applied to the fields beyond logic (theory of notion, philosophical categories, theory of argumentation, etc) and in the other parts of logic as well. These fields are para-consistent logic for dubitable information, logic of propositional attitudes, three-valued and five-valued logic of norms.