Transfer theorems for extensions of the paraconsistent Nelson logic

DOI10.1007/s10469-006-0021-8zbMath1115.03017OpenAlexW2091295886MaRDI QIDQ5294718

Sergei P. Odintsov

Publication date: 26 July 2007

Published in: Algebra and Logic (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1007/s10469-006-0021-8

zbMATH Keywords

tabular logicpretabular logicCraig's interpolation propertyparaconsistent Nelson logic

Mathematics Subject Classification ID

Paraconsistent logics (03B53)

This page was built for publication: Transfer theorems for extensions of the paraconsistent Nelson logic