Неклассические модификации многозначных матриц классической логики. Часть I.

DOI10.21146/2074-1472-2016-22-2-27-58zbMath1392.03033OpenAlexW2565045872MaRDI QIDQ2981229

Leonid Yur'evich Devyatkin

Publication date: 8 May 2017

Published in: Logical Investigations (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.21146/2074-1472-2016-22-2-27-58

zbMATH Keywords

paraconsistencymany-valued logicslogical matricesparacompletenessclosed classes of functions

Mathematics Subject Classification ID

Many-valued logic (03B50) Abstract deductive systems (03B22) Paraconsistent logics (03B53)

Related Items (2)

Generalized correspondence analysis for three-valued logics ⋮ Correspondence analysis and automated proof-searching for first degree entailment

This page was built for publication: Неклассические модификации многозначных матриц классической логики. Часть I.