Characterizing logical consequence in many-valued logic

DOI10.1093/LOGCOM/EXX001MaRDI QIDQ5894704zbMATH OpenOpenAlexFDO

Authors Emmanuel Chemla, Paul Égré, Benjamin Spector

Publication date 13 February 2018

Published in Journal Of Logic And Computation (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1093/logcom/exx001

zbMATH Keywords

strict-tolerant logicmany-valued logicslogical consequencenontransitive logicsmixed consequenceextensions of classical logicnonreflexive logicsorder-theoretic consequence

Mathematics Subject Classification ID

Many-valued logic (03B50)

Recommendations

• Many-valued logics -- implications and semantic consequences
• Consequence and degrees of truth in many-valued logic
• The development of many-valued logics
• scientific article; zbMATH DE number 2101974
• Many-valued logics -- theorem proving problems

Cited in

(30)

• A family of metainferential logics
• De Finettian logics of indicative conditionals. I: Trivalent semantics and validity
• Consequence and degrees of truth in many-valued logic
• Inferential constants
• Sequent-calculi for metainferential logics
• What is a paraconsistent logic?
• A fully classical truth theory characterized by substructural means
• A recovery operator for nontransitive approaches
• A hierarchy of classical and paraconsistent logics
• (Meta)inferential levels of entailment beyond the Tarskian paradigm
• A logical consequence informed by probability
• Valuations: bi, tri, and tetra
• On three-valued presentations of classical logic
• From many-valued consequence to many-valued connectives
• Finite Hilbert systems for weak Kleene logics
• Beyond mixed logics
• Characterizing finite-valuedness
• Editorial introduction: substructural logics and metainferences
• Empty logics
• MTV logics
• One step is enough
• A UNIFIED THEORY OF TRUTH AND PARADOX
• \(\mathsf{ST}\) and \(\mathsf{TS}\) as product and sum
• Reading conclusions conjunctively
• Meaningless divisions
• Many-valued logics -- implications and semantic consequences
• Disjoint logics
• A simple logical matrix and sequent calculus for Parry's logic of analytic implication
• Validities, antivalidities and contingencies: a multi-standard approach
• SUSZKO’S PROBLEM: MIXED CONSEQUENCE AND COMPOSITIONALITY

This page was built for publication: Characterizing logical consequence in many-valued logic

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