scientific article; zbMATH DE number 7307084
From MaRDI portal
Publication:5149144
zbMATH Open1505.03123MaRDI QIDQ5149144
Publication date: 6 February 2021
Title of this publication is not available (Why is that?)
Classical first-order logic (03B10) Proof theory in general (including proof-theoretic semantics) (03F03)
Related Items (5)
A Focused Sequent Calculus for Higher-Order Logic ⋮ Types for Proofs and Programs ⋮ A sequent calculus for first-order logic formalized in Isabelle/HOL ⋮ Title not available (Why is that?) ⋮ A Constraint Sequent Calculus for First-Order Logic with Linear Integer Arithmetic
This page was built for publication:
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q5149144)
