On the ‘transitivity’ of consequence relations

DOI10.1093/logcom/exx039zbMath1444.03010OpenAlexW2781122117MaRDI QIDQ4612411

David Ripley

Publication date: 31 January 2019

Published in: Journal of Logic and Computation (Search for Journal in Brave)

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

zbMATH Keywords

transitivityconsequence relationsabstract logic

Mathematics Subject Classification ID

Abstract deductive systems (03B22)

Related Items (9)

One step is enough ⋮ Supervaluations and the strict-tolerant hierarchy ⋮ Empty logics ⋮ Derivability and metainferential validity ⋮ Non-transitive correspondence analysis ⋮ COLLECTION FRAMES FOR DISTRIBUTIVE SUBSTRUCTURAL LOGICS ⋮ The original sin of proof-theoretic semantics ⋮ Valuations: bi, tri, and tetra ⋮ SUSZKO’S PROBLEM: MIXED CONSEQUENCE AND COMPOSITIONALITY

This page was built for publication: On the ‘transitivity’ of consequence relations