scientific article; zbMATH DE number 3566816

zbMATH Open0364.02010MaRDI QIDQ4138710FDOQ4138710

Authors Robert K. Meyer 

Publication date 1976

Mathematics Subject Classification ID

Modal logic (including the logic of norms) (03B45) Proof theory and constructive mathematics (03F99)

Cited In (2)

• Admissibility of cut in LC with fixed point combinator
• Extracting \(\mathsf{BB'IW}\) inhabitants of simple types from proofs in the sequent calculus \(LT_\to^t\) for implicational ticket entailment

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