On harmony and permuting conversions

DOI10.1016/j.jal.2016.12.004zbMath1436.03288OpenAlexW2562212600MaRDI QIDQ518743

Nissim Francez

Publication date: 30 March 2017

Published in: Journal of Applied Logic (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1016/j.jal.2016.12.004

zbMATH Keywords

harmonynatural deductionproof-theoretic semanticscanonicity of derivationspermuting conversions

Mathematics Subject Classification ID

Philosophical and critical aspects of logic and foundations (03A05) Proof theory in general (including proof-theoretic semantics) (03F03)

Related Items (2)

Stabilizing quantum disjunction ⋮ What is the meaning of proofs?. A Fregean distinction in proof-theoretic semantics

Uses Software

• Pesca
• MiniML

Cites Work

• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• A note on harmony
• General-elimination stability
• General-elimination harmony and the meaning of the logical constants
• Natural deduction with general elimination rules
• Validity concepts in proof-theoretic semantics
• A judgmental reconstruction of modal logic
• A modal analysis of staged computation
• On Inversion Principles
• A natural extension of natural deduction
• General-Elimination Harmony and Higher-Level Rules
• ON THE NOTION OF CANONICAL DERIVATIONS FROM OPEN ASSUMPTIONS AND ITS ROLE IN PROOF-THEORETIC SEMANTICS
• WEAK DISHARMONY: SOME LESSONS FOR PROOF-THEORETIC SEMANTICS
• Views of proof-theoretic semantics: reified proof-theoretic meanings

This page was built for publication: On harmony and permuting conversions