scientific article; zbMATH DE number 1163565
From MaRDI portal
Publication:4395138
zbMath0904.03012MaRDI QIDQ4395138
Publication date: 19 January 1999
Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.
Related Items (4)
TMPR: A tree-structured modified problem reduction proof procedure and its extension to three-valued logic ⋮ An Inferentially Many-Valued Two-Dimensional Notion of Entailment ⋮ On partial and paraconsistent logics ⋮ Analytic tableaux for all of \(\mathrm{SIXTEEN}_3\)
This page was built for publication:
