Gentzen in the 3- and 4-valued jungle

DOI10.1007/978-3-031-86319-6_23MaRDI QIDQ7236650zbMATH OpenFDO

Authors Gerhard Jäger

Publication date 29 April 2026

Mathematics Subject Classification ID

Combinatorics (05-XX) Mathematical logic and foundations (03-XX) Computer science (68-XX)

Cites work

• scientific article; zbMATH DE number 4033738 (Why is no real title available?)
• scientific article; zbMATH DE number 3659568 (Why is no real title available?)
• scientific article; zbMATH DE number 3572133 (Why is no real title available?)
• About some symmetries of negation
• How a Computer Should Think
• Syntactical and semantical properties of simple type theory

This page was built for publication: Gentzen in the 3- and 4-valued jungle

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q7236650)