Calculi for many-valued logics
From MaRDI portal
Publication:2045004
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
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