Structural rules for multi-valued logics

DOI10.1007/S11787-019-00219-ZOpenAlexW2908998619WikidataQ128591220 ScholiaQ128591220MaRDI QIDQ2418014

Michael Kaminski, Nissim Francez

Publication date: 31 May 2019

Published in: Logica Universalis (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1007/s11787-019-00219-z

zbMATH Keywords

structural rulesmulti-valued logicsstructural rules completeness

Mathematics Subject Classification ID

Proof theory in general (including proof-theoretic semantics) (03F03) Abstract deductive systems (03B22)

Related Items (1)

A Note on Calculi for Non-deterministic Many-valued Logics

Cites Work

• Unnamed Item
• Unnamed Item
• A Gentzen calculus for nothing but the truth
• Calculi for many-valued logics

This page was built for publication: Structural rules for multi-valued logics