Unification problem in Nelson's logic \(\mathbf{N4}\)

zbMath1354.03032MaRDI QIDQ892014

Sergei P. Odintsov, Vladimir Vladimirovich Rybakov

Publication date: 18 November 2015

Published in: Sibirskie Èlektronnye Matematicheskie Izvestiya (Search for Journal in Brave)

Full work available at URL: http://semr.math.nsc.ru/v11/p434-443.pdf

zbMATH Keywords

decidabilityunificationstrong negationcomplete sets of unifiersNelson's logicVorob'ev translation

Mathematics Subject Classification ID

Paraconsistent logics (03B53)

Related Items (1)

Unification in Linear Modal Logic on Non-transitive Time with the Universal Modality

This page was built for publication: Unification problem in Nelson's logic \(\mathbf{N4}\)