scientific article; zbMATH DE number 3074071
From MaRDI portal
Publication:5813185
zbMath0047.25201MaRDI QIDQ5813185
Publication date: 1952
Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.
Related Items (8)
On deductive bases for paraconsistent answer set semantics ⋮ Belnap Constants and Nelson Logic ⋮ Revisiting Explicit Negation in Answer Set Programming ⋮ Intuitionistic Decision Procedures Since Gentzen ⋮ Constructive logics. I: A tutorial on proof systems and typed \(\lambda\)- calculi ⋮ Uniform interpolation and the existence of sequent calculi ⋮ Inference rules in Nelson's logics, admissibility and weak admissibility ⋮ The G4i analogue of a G3i sequent calculus
This page was built for publication:
