Publication:3467531

zbMATH Open1334.03007MaRDI QIDQ3467531FDOQ3467531

Author name not available (Why is that?)

Publication date: 2 February 2016

Title of this publication is not available (Why is that?)

Mathematics Subject Classification ID

Collections of articles of miscellaneous specific interest (00B15) Proceedings, conferences, collections, etc. pertaining to mathematical logic and foundations (03-06) Proof theory in general (including proof-theoretic semantics) (03F03) Cut-elimination and normal-form theorems (03F05) Mechanization of proofs and logical operations (03B35)

Cited In (4)

• Proof search and certificates for evidential transactions
• Implementation and Evaluation of Contextual Natural Deduction for Minimal Logic
• Proofs, Proofs, Proofs, and Proofs
• Higher-Order Modal Logics: Automation and Applications

Recommendations

• Title not available (Why is that?) 👍 👎
• Title not available (Why is that?) 👍 👎
• Title not available (Why is that?) 👍 👎
• Title not available (Why is that?) 👍 👎
• Proof theory. An introduction 👍 👎
• Proofs, Proofs, Proofs, and Proofs 👍 👎
• Proofs that count 👍 👎

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 Q3467531)