Blocking the routes to triviality with depth relevance

DOI10.1007/s10849-014-9199-7zbMath1323.03023OpenAlexW2060973776MaRDI QIDQ2258818

Yanyan Li

Publication date: 27 February 2015

Published in: Journal of Logic, Language and Information (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1007/s10849-014-9199-7

zbMATH Keywords

naive set theorydepth relevanceweak relevant model structuresdeep relevant logics

Mathematics Subject Classification ID

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

Related Items

What is a relevant connective?, An incompleteness theorem for modal relevant logics

Uses Software

• MaTest

Cites Work

• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• A general characterization of the variable-sharing property by means of logical matrices
• The simple consistency of naive set theory using metavaluations
• Depth relevance of some paraconsistent logics
• The compatibility of relevance and mingle
• Hierarchical semantics for relevant logics
• Routes to triviality
• Relevant implication and the case for a weaker logic
• Curry's paradox, generalized modus ponens axiom and depth relevance
• Generalizing the depth relevance condition: deep relevant logics not included in R-mingle
• TRANSFINITE CARDINALS IN PARACONSISTENT SET THEORY
• Entailment and relevance¹
• The combinatory foundations of mathematical logic