Finitely many-valued paraconsistent systems
DOI:
https://doi.org/10.12775/LLP.1997.008Abstrakt
In the paper n-valued paraconsistent matrices are defined by an adaptation of the well-known Łukasiewicz’s matrices. An appropriate set of axioms is presented and the 3-valued case is examined.Bibliografia
Arruda, A. I., “On the imaginary logic of N. A. Vasil’ev”, in: Non-Classical Logics, Model Theory and Computability, North-Holland, Amsterdam, p. 3–24, 1977.
Kotas, J., and N. C. A. da Costa, “On the problem of Jaśkowski and the logics of Łukasiewicz”, in: Mathematical Logic: Proceedings of the First Brazilian Conference on Mathematical Logic, Marcel Dekker, New York, 1978, p. 127–139.
D’Ottaviano, I., “On the development of paraconsistent logic and da Costa’s work”, The Journal of Non-Classical Logic 7, 89–152, 1990.
Tuziak, R., “An axiomatization of the finite-valued Łukasiewicz calculus”, Studia Logica 47, 49–55, 1988.
Pobrania
Opublikowane
27.10.2003
Jak cytować
1.
TUZIAK, Roman. Finitely many-valued paraconsistent systems. Logic and Logical Philosophy [online]. 27 październik 2003, T. 5, nr 5, s. 121–127. [udostępniono 16.8.2024]. DOI 10.12775/LLP.1997.008.
Numer
Dział
Artykuły
Statystyki
Liczba wyświetleń i pobrań: 376
Liczba cytowań: 0