Comments on the contributions
From MaRDI portal
Publication:6612881
DOI10.1007/978-3-031-50981-0_17MaRDI QIDQ6612881
Publication date: 1 October 2024
Cites Work
- 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?)
- Logical constants as punctuation marks
- Implications-as-rules vs. implications-as-links: an alternative implication-left schema for the sequent calculus
- Über die Grundlagen der Geometrie. I, II, III.
- Ekman's paradox
- Eight inference rules for implication
- Proof-theoretic semantics, self-contradiction, and the format of deductive reasoning
- Meaning approached via proofs
- Validity concepts in proof-theoretic semantics
- Grundlagen der Mathematik. I.
- Incompleteness of intuitionistic propositional logic with respect to proof-theoretic semantics
- Structural proof theory. With an appendix by Aarne Ranta
- RULES FOR SUBATOMIC DERIVATION
- Ultimate Normal Forms for Parallelized Natural Deductions
- 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
- Proof and Paradox
- A Proof-Theoretic Approach to Logic Programming
- Frege and the resolution calculus
- Explicit substitutions
- Harmony in Proof-Theoretic Semantics: A Reductive Analysis
- Intensional proof-theoretic semantics and the rule of contraction
This page was built for publication: Comments on the contributions
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q6612881)
