A note on synonymy in proof-theoretic semantics

DOI10.1007/978-3-031-50981-0_11MaRDI QIDQ6612874

Heinrich Wansing

Publication date: 1 October 2024

zbMATH Keywords

proof-theoretic semanticsBHK interpretationsynonymyidentity of derivationsconstructive logic N4

Mathematics Subject Classification ID

Proof theory and constructive mathematics (03Fxx)

Cites Work

• Bilateralism in proof-theoretic semantics
• Proof theory of Nelson's paraconsistent logic: a uniform perspective
• Lectures on the Curry-Howard isomorphism
• Constructive negations and paraconsistency
• Constructivism in mathematics. An introduction. Volume II
• From constructivism to computer science
• The logic of information structures
• Computational isomorphisms in classical logic
• A more general general proof theory
• What is the meaning of proofs?. A Fregean distinction in proof-theoretic semantics
• Models of deduction
• Proof-theoretic harmony: towards an intensional account
• Falsification, natural deduction and bi-intuitionistic logic
• Isomorphic formulae in classical propositional logic
• Proof and Falsity
• On Split Negation, Strong Negation, Information, Falsification, and Verification
• A short survey of isomorphisms of types
• Constructible falsity and inexact predicates
• A framework for defining logics
• A Critical Remark on the BHK Interpretation of Implication
• Ein verallgemeinerter Widerlegungsbegriff für Gentzenkalküle
• Proof-theoretic semantics, paradoxes and the distinction between sense and denotation
• Constructible falsity
• Kreisel’s Theory of Constructions, the Kreisel-Goodman Paradox, and the Second Clause
• Tarskian consequence relations bilaterally: some familiar notions
• Refutation systems: an overview and some applications to philosophical logics
• Title not available (Why is that?)
• Title not available (Why is that?)
• Title not available (Why is that?)
• Title not available (Why is that?)
• Title not available (Why is that?)
• Title not available (Why is that?)
• Title not available (Why is that?)
• Title not available (Why is that?)
• Title not available (Why is that?)
• Title not available (Why is that?)
• Title not available (Why is that?)
• Title not available (Why is that?)
• Title not available (Why is that?)
• Title not available (Why is that?)
• Title not available (Why is that?)
• Title not available (Why is that?)
• Title not available (Why is that?)

This page was built for publication: A note on synonymy in proof-theoretic semantics

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q6612874)