Categorical proof-theoretic semantics
From MaRDI portal
Cites work
- scientific article; zbMATH DE number 3959364 (Why is no real title available?)
- scientific article; zbMATH DE number 3787631 (Why is no real title available?)
- scientific article; zbMATH DE number 42059 (Why is no real title available?)
- scientific article; zbMATH DE number 1497485 (Why is no real title available?)
- scientific article; zbMATH DE number 819916 (Why is no real title available?)
- scientific article; zbMATH DE number 3222098 (Why is no real title available?)
- scientific article; zbMATH DE number 3275554 (Why is no real title available?)
- scientific article; zbMATH DE number 3349775 (Why is no real title available?)
- A refined interpretation of intuitionistic logic by means of atomic polymorphism
- Atomic polymorphism
- Base-extension semantics for intuitionistic sentential logic
- Categorical proof theory of classical propositional calculus
- Comments on predicative logic
- Completeness in Proof-Theoretic Semantics
- Core Logic
- Failure of completeness in proof-theoretic semantics
- HYPERDOCTRINES, NATURAL DEDUCTION AND THE BECK CONDITION
- Incompleteness of intuitionistic propositional logic with respect to proof-theoretic semantics
- Modal logic
- On Dummett’s “Proof-Theoretic Justifications of Logical Laws”
- Order-enriched categorical models of the classical sequent calculus
- Proof Nets for Classical Logic
- Sheaves in geometry and logic: a first introduction to topos theory
- The faithfulness of \(\mathbf{F_{at}}\): a proof-theoretic proof
- The naturality of natural deduction. II: on atomic polymorphism and generalized propositional connectives
- Untersuchungen über das logische Schliessen. II
- Validity concepts in proof-theoretic semantics
Cited in
(3)
This page was built for publication: Categorical proof-theoretic semantics
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q7026932)
