Many-valued logics—implications and semantic consequences
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 operat...
Main Authors: | , |
---|---|
Format: | Article |
Language: | English |
Published: |
Sciendo
2013-12-01
|
Series: | Acta Universitatis Sapientiae: Informatica |
Subjects: | |
Online Access: | https://doi.org/10.2478/ausi-2014-0008 |