On harmony and permuting conversions
type: Item
instance of: scholarly article
title: On harmony and permuting conversions
zbMATH Open document ID: 1436.03288
author: Nissim Francez
published in: Journal of Applied Logic
publication date: 2017-03-30T00:00:00Z
Mathematics Subject Classification ID: 03F03
Mathematics Subject Classification ID: 03A05
zbMATH DE Number: 6698101
zbMATH Keywords: natural deduction
zbMATH Keywords: permuting conversions
zbMATH Keywords: proof-theoretic semantics
zbMATH Keywords: harmony
zbMATH Keywords: canonicity of derivations
describes a project that uses: MiniML
describes a project that uses: Pesca
MaRDI profile type: Publication
full work available at URL: j.jal.2016.12.004
OpenAlex ID: W2562212600
cites work: WEAK DISHARMONY: SOME LESSONS FOR PROOF-THEORETIC SEMANTICS
cites work: A modal analysis of staged computation
cites work: Q4856189
cites work: ON THE NOTION OF CANONICAL DERIVATIONS FROM OPEN ASSUMPTIONS AND ITS ROLE IN PROOF-THEORETIC SEMANTICS
cites work: Q3467536
cites work: Views of proof-theoretic semantics: reified proof-theoretic meanings
cites work: A note on harmony
cites work: Q3093482
cites work: General-elimination stability
cites work: On Inversion Principles
cites work: Structural proof theory. With an appendix by Aarne Ranta
cites work: A judgmental reconstruction of modal logic
cites work: Q5559220
cites work: General-elimination harmony and the meaning of the logical constants
cites work: General-Elimination Harmony and Higher-Level Rules
cites work: A natural extension of natural deduction
cites work: Validity concepts in proof-theoretic semantics
cites work: Natural deduction with general elimination rules
DOI: 10.1016/J.JAL.2016.12.004
description: scientific article; zbMATH DE number 6698101