Does the Implication Elimination Rule Need a Minor Premise?

DOI10.12775/LLP.2017.019zbMath1456.03083MaRDI QIDQ3121971

Nissim Francez

Publication date: 20 March 2019

Published in: Logic and Logical Philosophy (Search for Journal in Brave)

zbMATH Keywords

natural deductionproof-theoretic semantics\(NJ\)grounds for assertionterm assignment

Mathematics Subject Classification ID

Cut-elimination and normal-form theorems (03F05) Proof theory in general (including proof-theoretic semantics) (03F03)

Uses Software

• Pesca

Cites Work

• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• The categorical and the hypothetical: a critique of some fundamental assumptions of standard semantics
• General-elimination stability
• Logical constants as punctuation marks
• Simple consequence relations
• Meaning approached via proofs
• Relevant harmony
• A natural extension of natural deduction
• Rules and Derived Rules
• Views of proof-theoretic semantics: reified proof-theoretic meanings
• Open Problems in Proof-Theoretic Semantics

This page was built for publication: Does the Implication Elimination Rule Need a Minor Premise?