Structural rules for multi-valued logics

DOI10.1007/S11787-019-00219-ZMaRDI QIDQ2418014zbMATH OpenOpenAlexWikidataFDO

Authors Nissim Francez, Michael Kaminski

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

multi-valued logicsstructural rulesstructural rules completeness

Mathematics Subject Classification ID

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

Recommendations

• Structural completeness in fuzzy logics
• On structural completeness of implicational logics
• Between Hilbert and Gentzen: four-valued consequence systems and structural reasoning
• Structural completeness in many-valued logics with rational constants
• Structural Completeness in Substructural Logics

Cites work

• A Gentzen calculus for nothing but the truth
• Calculi for many-valued logics
• scientific article; zbMATH DE number 1269582 (Why is no real title available?)
• On poly-logistic natural-deduction for finitely-valued propositional logics

Cited in

(4)

• Structural completeness in many-valued logics with rational constants
• Between Hilbert and Gentzen: four-valued consequence systems and structural reasoning
• Multi-valued logic in graph transformation theory and self-adaptive systems
• A Note on Calculi for Non-deterministic Many-valued Logics

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

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q2418014)