scientific article

From MaRDI portal

Publication:3027002

Jump to:navigation, search

zbMATH Open0625.03040MaRDI QIDQ3027002

Peter Schroeder-Heister

Publication date: 1985

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

zbMATH Keywords

operational semantics completeness proof theory natural deduction soundness internal coherence

Mathematics Subject Classification ID

Cut-elimination and normal-form theorems (03F05) Metamathematics of constructive systems (03F50)

Related Items (6)

Intuitionistic completeness of first-order logic ⋮ Title not available (Why is that?) ⋮ Provability logic and the completeness principle ⋮ Intuitionistic validity in \(T\)-normal Kripke structures ⋮ Proof-theoretic semantics: an autobiographical survey ⋮ Properties of Intuitionistic Provability and Preservativity Logics

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

Retrieved from "https://portal.mardi4nfdi.de/w/index.php?title=Publication:3027002&oldid=16057157"