scientific article; zbMATH DE number 6316280

zbMath1338.03047MaRDI QIDQ5169620

Alexej P. Pynko

Publication date: 11 July 2014

Full work available at URL: http://www.filozof.uni.lodz.pl/bulletin/pdf/43_12_7.pdf

Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.

zbMATH Keywords

sequent calculusfinitely-valued logic

Mathematics Subject Classification ID

Cut-elimination and normal-form theorems (03F05) Many-valued logic (03B50)

Related Items (1)

Algebraic study of Sette's maximal paraconsistent logic

This page was built for publication: