OUP accepted manuscript

DOI10.1093/logcom/exx001zbMath1386.03021OpenAlexW2767962961MaRDI QIDQ5894704

Benjamin Spector, Emmanuel Chemla, Paul Égré

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

logical consequencemany-valued logicsstrict-tolerant logicnontransitive logicsextensions of classical logicmixed consequencenonreflexive logicsorder-theoretic consequence

Mathematics Subject Classification ID

Many-valued logic (03B50)

Related Items (21)

De Finettian logics of indicative conditionals. I: Trivalent semantics and validity ⋮ Editorial introduction: substructural logics and metainferences ⋮ One step is enough ⋮ Empty logics ⋮ MTV logics ⋮ (Meta)inferential levels of entailment beyond the Tarskian paradigm ⋮ From many-valued consequence to many-valued connectives ⋮ A FULLY CLASSICAL TRUTH THEORY CHARACTERIZED BY SUBSTRUCTURAL MEANS ⋮ Inferential constants ⋮ A UNIFIED THEORY OF TRUTH AND PARADOX ⋮ What is a Paraconsistent Logic? ⋮ A simple logical matrix and sequent calculus for Parry's logic of analytic implication ⋮ A family of metainferential logics ⋮ Valuations: bi, tri, and tetra ⋮ SUSZKO’S PROBLEM: MIXED CONSEQUENCE AND COMPOSITIONALITY ⋮ A hierarchy of classical and paraconsistent logics ⋮ A RECOVERY OPERATOR FOR NONTRANSITIVE APPROACHES ⋮ Meaningless divisions ⋮ Validities, antivalidities and contingencies: a multi-standard approach ⋮ Disjoint Logics ⋮ Sequent-calculi for metainferential logics

This page was built for publication: OUP accepted manuscript