Proof-theoretic semantics: an autobiographical survey

DOI10.1007/978-3-031-50981-0_1MaRDI QIDQ6612864

Peter Schroeder-Heister

Publication date: 1 October 2024

Mathematics Subject Classification ID

Proof theory and constructive mathematics (03Fxx)

Cites Work

• Epistemology, knowledge and the impact of interaction
• The categorical and the hypothetical: a critique of some fundamental assumptions of standard semantics
• Advances in proof-theoretic semantics
• Logical constants as punctuation marks
• Implications-as-rules vs. implications-as-links: an alternative implication-left schema for the sequent calculus
• Extensions of logic programming. 3rd international workshop, ELP '92, Bologna, Italy, February 26-28, 1992. Proceedings
• Frege's permutation argument revisited
• Gentzenizing Schroeder-Heister's natural extension of natural deduction
• The completeness of intuitionistic logic with respect to a validity concept based on an inversion principle
• A model-theoretic reconstruction of Frege's permutation argument
• A proof-theoretic approach to entailment
• Partial inductive definitions
• Extensions of logic programming. International workshop, Tübingen, FRG, 8--10 December 1989. Proceedings
• ELP '93, Extensions of logic programming, 4th International Workshop, St. Andrews, GB, March 29 - April 1, 1993. Proceedings
• Über die Existenz unabhängiger Axiomensysteme zu unendlichen Satzsystemen
• Ekman's paradox
• Definitional reflection and basic logic
• The idea of a proof-theoretic semantics and the meaning of the logical operations
• The calculus of higher-level rules, propositional quantification, and the foundational approach to proof-theoretic harmony
• Eight inference rules for implication
• Proof-theoretic semantics, self-contradiction, and the format of deductive reasoning
• Generalized definitional reflection and the inversion principle
• On the proof-theoretic foundation of general definition theory
• Validity concepts in proof-theoretic semantics
• Failure of completeness in proof-theoretic semantics
• General proof theory: introduction
• Obituary: Kosta Došen (1954--2017)
• Incompleteness of intuitionistic propositional logic with respect to proof-theoretic semantics
• The logical writings of Karl Popper
• ON FLATTENING ELIMINATION RULES
• Resolution and the Origins of Structural Reasoning: Early Proof-Theoretic Ideas of Hertz and Gentzen
• A Proof-Theoretic Approach to Logic Programming. I. Clauses as Rules
• Restricting Initial Sequents: The Trade-Offs Between Identity, Contraction and Cut
• Popper's theory of deductive inference and the concept of a logical constant
• A natural extension of natural deduction
• N-Prolog: An extension of Prolog with hypothetical implications. I.
• Why probabilistic support is not inductive
• Uniqueness, definability and interpolation
• Normalization theorems for full first order classical natural deduction
• A Proof-Theoretic Approach to Logic Programming
• Frege and the resolution calculus
• Basic logic: reflection, symmetry, visibility
• Popper's Notion of Duality and His Theory of Negations
• Base-extension semantics for intuitionistic sentential logic
• Hypothetical reasoning and definitional reflection in logic programming
• Axiomatic Thinking, Identity of Proofs and the Quest for an Intensional Proof-Theoretic Semantics
• Constructive semantics, admissibility of rules and the validity of Peirce's law
• Harmony in Proof-Theoretic Semantics: A Reductive Analysis
• Generalized Elimination Inferences, Higher-Level Rules, and the Implications-as-Rules Interpretation of the Sequent Calculus
• Core Logic
• Homotopy Type Theory: Univalent Foundations of Mathematics
• Die Vollständigkeit des Operatorensystems {¬, ∨, ⊃} für die Intuitionistische Aussagenlogik im Rahmen der Gentzensematik
• Ein verallgemeinerter Widerlegungsbegriff für Gentzenkalküle
• Completeness in Proof-Theoretic Semantics
• Open Problems in Proof-Theoretic Semantics
• Proof theory in computer science. International seminar, PTCS 2001, Dagstuhl Castle, Germany, October 7--12, 2001. Proceedings
• Intensional proof-theoretic semantics and the rule of contraction
• 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?)
• 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: Proof-theoretic semantics: an autobiographical survey

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