scientific article; zbMATH DE number 6174943
From MaRDI portal
Publication:4925886
zbMath1283.03089MaRDI QIDQ4925886
Publication date: 12 June 2013
Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.
Related Items (4)
Labeled sequent calculus for justification logics ⋮ Is, ought, and cut ⋮ A Critical Overview of the Most Recent Logics of Grounding ⋮ An analytic calculus for the intuitionistic logic of proofs
This page was built for publication:
