Calculi for many-valued logics

DOI10.1007/s11787-021-00274-5OpenAlexW3163600098MaRDI QIDQ2045004

Nissim Francez, Michael Kaminski

Publication date: 11 August 2021

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

Full work available at URL: https://doi.org/10.1007/s11787-021-00274-5

zbMATH Keywords

dualitysequent calculusnatural deductionmany-valued logics

Mathematics Subject Classification ID

Cut-elimination and normal-form theorems (03F05) Many-valued logic (03B50) Proof theory in general (including proof-theoretic semantics) (03F03)

Related Items (5)

A Generalization of Falsity in Finitely-many Valued Logics ⋮ A Note on Calculi for Non-deterministic Many-valued Logics ⋮ Structural rules for multi-valued logics ⋮ Normalisation for Some Quite Interesting Many-Valued Logics ⋮ Sequent calculi for choice logics

Cites Work

• On intuitionistic many-valued logics
• Nonstandard connectives of intuitionistic propositional logic
• Untersuchungen über das logische Schliessen. I
• Untersuchungen über das logische Schliessen. II
• Harmony in multiple-conclusion natural-deduction
• Finite-valued semantics for canonical labelled calculi
• Sequents in many valued logic I
• Sequents in many valued logic II
• Many-valued logics of extended Gentzen style II
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item

This page was built for publication: Calculi for many-valued logics