scientific article; zbMATH DE number 7594257
From MaRDI portal
Publication:5869726
Publication date: 28 September 2022
Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.
logical frameworksfirst-degree entailmentsuper-Belnap logicsconsequence systemstructural reasoningbinary consequence
Related Items (1)
This page was built for publication: