Proof theory and intuitionistic systems

From MaRDI portal

Revision as of 05:53, 3 February 2024 by Import240129110113 (talk | contribs) (Created automatically from import240129110113)

(diff) ← Older revision | Latest revision (diff) | Newer revision → (diff)

Publication:2557690

Jump to:navigation, search

zbMath0253.02026MaRDI QIDQ2557690

Bruno Scarpellini

Publication date: 1971

Published in: Lecture Notes in Mathematics (Search for Journal in Brave)

Mathematics Subject Classification ID

Research exposition (monographs, survey articles) pertaining to mathematical logic and foundations (03-02) Intuitionistic mathematics (03F55) Intermediate logics (03B55) Proof theory and constructive mathematics (03F99)

Related Items (6)

Choice and independence of premise rules in intuitionistic set theory ⋮ Disjunctive properties of intuitionistic systems ⋮ Theory of proofs (arithmetic and analysis) ⋮ Choice sequences and reduction processes ⋮ Constructive Recursive Functions, Church’s Thesis, and Brouwer’s Theory of the Creating Subject: Afterthoughts on a Parisian Joint Session ⋮ On some proof theoretical properties of the modal logic GL

This page was built for publication: Proof theory and intuitionistic systems

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