ON THE NOTION OF CANONICAL DERIVATIONS FROM OPEN ASSUMPTIONS AND ITS ROLE IN PROOF-THEORETIC SEMANTICS

DOI10.1017/S1755020315000027zbMath1345.03101OpenAlexW1993368359MaRDI QIDQ5259724

Nissim Francez

Publication date: 29 June 2015

Published in: The Review of Symbolic Logic (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1017/s1755020315000027

zbMATH Keywords

proof-theoretic semanticscanonical derivationopen assumptions

Mathematics Subject Classification ID

Proof theory in general (including proof-theoretic semantics) (03F03)

Related Items (4)

A proof-theoretic semantics for adjectival modification ⋮ On harmony and permuting conversions ⋮ Subatomic natural deduction for a naturalistic first-order language with non-primitive identity ⋮ On a distinction of two facets of meaning and its role in proof-theoretic semantics

Cites Work

• The categorical and the hypothetical: a critique of some fundamental assumptions of standard semantics
• A note on harmony
• General-elimination harmony and the meaning of the logical constants
• Natural deduction with general elimination rules
• Meaning approached via proofs
• INTRODUCTION TO AUTHOR MEETS CRITICS SESSION ON SAVING TRUTH FROM PARADOX
• Ultimate Normal Forms for Parallelized Natural Deductions
• A modal analysis of staged computation
• A Proof-Theoretic Approach to Logic Programming. I. Clauses as Rules
• A natural extension of natural deduction
• Uniqueness, definability and interpolation
• A Proof-Theoretic Approach to Logic Programming
• Translations from natural deduction to sequent calculus

This page was built for publication: ON THE NOTION OF CANONICAL DERIVATIONS FROM OPEN ASSUMPTIONS AND ITS ROLE IN PROOF-THEORETIC SEMANTICS