Calculi for many-valued logics

DOI10.1007/S11787-021-00274-5MaRDI QIDQ2045004zbMATH OpenOpenAlexFDO

Authors Michael Kaminski, Nissim Francez

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

dualitymany-valued logicsnatural deductionsequent calculus

Mathematics Subject Classification ID

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

Recommendations

• Many-valued computational logics
• scientific article; zbMATH DE number 560935
• Many-valued logics
• scientific article; zbMATH DE number 1749199
• Many-valued logics
• Many-valued logics and their algebras
• Multi-valued Calculi for Logics Based on Non-determinism
• Many-valued logics. A mathematical and computational introduction
• A Note on Calculi for Non-deterministic Many-valued Logics
• scientific article; zbMATH DE number 1453810

Cites work

• scientific article; zbMATH DE number 446843 (Why is no real title available?)
• scientific article; zbMATH DE number 3273877 (Why is no real title available?)
• Finite-valued semantics for canonical labelled calculi
• Harmony in multiple-conclusion natural-deduction
• Introduction to mathematical logic
• Many-valued logics of extended Gentzen style II
• Nonstandard connectives of intuitionistic propositional logic
• On intuitionistic many-valued logics
• On poly-logistic natural-deduction for finitely-valued propositional logics
• Sequents in many valued logic I
• Sequents in many valued logic II
• Untersuchungen über das logische Schliessen. I
• Untersuchungen über das logische Schliessen. II

Cited in

(13)

• Analytic Calculi for Logics of Ordinal Multiples of Standard t-Norms
• Sequent calculi for choice logics
• A Note on Calculi for Non-deterministic Many-valued Logics
• A Multi-type Calculus for Inquisitive Logic
• Sequent calculi for choice logics
• scientific article; zbMATH DE number 1453810 (Why is no real title available?)
• Normalisation for some quite interesting many-valued logics
• Truth-value constants in multi-valued logics
• Formalisations of Many‐Valued Propositional Calculi with Variable Functors
• A Generalization of Falsity in Finitely-many Valued Logics
• Many-valued computational logics
• Structural rules for multi-valued logics
• scientific article; zbMATH DE number 5043201 (Why is no real title available?)

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

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