Hierarchical semantics for relevant logics

DOI10.1007/BF00260741zbMath0770.03008OpenAlexW2026838265MaRDI QIDQ1206806

Ross T. Brady

Publication date: 1 April 1993

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

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

zbMATH Keywords

CompletenessSoundnessshared variabledepth relevance conditionhierarchical semanticsrelevance of a logic

Mathematics Subject Classification ID

Substructural logics (including relevance, entailment, linear logic, Lambek calculus, BCK and BCI logics) (03B47)

Related Items (4)

Generalizing the depth relevance condition: deep relevant logics not included in R-mingle ⋮ Basic quasi-Boolean expansions of relevance logics ⋮ Blocking the routes to triviality with depth relevance ⋮ Curry's paradox, generalized modus ponens axiom and depth relevance

This page was built for publication: Hierarchical semantics for relevant logics