General proof theory: introduction (Q2631640)

From MaRDI portal

Jump to:navigation, search

scientific article

Language	Label	Description	Also known as
English	General proof theory: introduction	scientific article

Statements

scholarly article

0 references

General proof theory: introduction (English)

0 references

0 references

publication date

15 May 2019

0 references

zbMATH Keywords

general proof theory

0 references

proof-theoretic semantics

0 references

natural deduction

0 references

MaRDI profile type

MaRDI publication profile

0 references

full work available at URL

https://doi.org/10.1007/s11225-018-9818-4

0 references

On the Paths of Categories

0 references

Untersuchungen über das logische Schliessen. II

0 references

Postponement of $\mathsf {raa}$ and Glivenko's theorem, revisited

0 references

Is there a ``Hilbert thesis''?

0 references

Validity concepts in proof-theoretic semantics

0 references

0 references

0 references

Inference as doxastic agency. I: The basics of justification stit logic

0 references

Advances in proof-theoretic semantics

0 references

Incompleteness of intuitionistic propositional logic with respect to proof-theoretic semantics

0 references

0 references

Proof-theoretic semantics, self-contradiction, and the format of deductive reasoning

0 references

Homotopy Type Theory: Univalent Foundations of Mathematics

0 references

The naturality of natural deduction

0 references

Identifiers

zbMATH Open document ID

0 references

Mathematics Subject Classification ID

0 references

0 references

zbMATH DE Number

0 references

0 references

0 references

10.1007/S11225-018-9818-4

0 references

Sitelinks

Mathematics(1 entry)

mardi Publication:2631640

Retrieved from "https://portal.mardi4nfdi.de/w/index.php?title=Item:Q2631640&oldid=39172958"