Calculi for many-valued logics
From MaRDI portal
Publication:2045004
DOI10.1007/S11787-021-00274-5OpenAlexW3163600098MaRDI QIDQ2045004FDOQ2045004
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
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
Many-valued logic (03B50) Proof theory in general (including proof-theoretic semantics) (03F03) Cut-elimination and normal-form theorems (03F05)
Cites Work
- Untersuchungen über das logische Schliessen. I
- Sequents in many valued logic I
- Untersuchungen über das logische Schliessen. II
- Introduction to mathematical logic
- Title not available (Why is that?)
- On poly-logistic natural-deduction for finitely-valued propositional logics
- Harmony in multiple-conclusion natural-deduction
- Title not available (Why is that?)
- On intuitionistic many-valued logics
- Sequents in many valued logic II
- Nonstandard connectives of intuitionistic propositional logic
- Finite-valued semantics for canonical labelled calculi
- Many-valued logics of extended Gentzen style II
Cited In (13)
- 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
- Title not available (Why is that?)
- 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
- Title not available (Why is that?)
- Analytic Calculi for Logics of Ordinal Multiples of Standard t-Norms
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)
