Valuational semantics of rule derivability

DOI10.1007/BF00257380zbMath0859.03005OpenAlexW1975908296MaRDI QIDQ1815405

Lloyd Humberstone

Publication date: 7 April 1997

Published in: Journal of Philosophical Logic (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1007/bf00257380

zbMATH Keywords

rulesconsequence relationclosure operationsvaluation

Mathematics Subject Classification ID

Abstract deductive systems (03B22)

Related Items (16)

Editorial introduction: substructural logics and metainferences ⋮ Supervaluations and the strict-tolerant hierarchy ⋮ Empty logics ⋮ Derivability and metainferential validity ⋮ (Meta)inferential levels of entailment beyond the Tarskian paradigm ⋮ Substructural logics, pluralism and collapse ⋮ A FULLY CLASSICAL TRUTH THEORY CHARACTERIZED BY SUBSTRUCTURAL MEANS ⋮ Anti-exceptionalism, truth and the BA-plan ⋮ Requiem for logical nihilism, or: logical nihilism annihilated ⋮ An intriguing logic with two implicational connectives ⋮ A family of metainferential logics ⋮ The pleasures of anticipation: Enriching intuitionistic logic ⋮ A hierarchy of classical and paraconsistent logics ⋮ Validities, antivalidities and contingencies: a multi-standard approach ⋮ The revival of rejective negation ⋮ Sequent-calculi for metainferential logics

This page was built for publication: Valuational semantics of rule derivability