Relevance logics and intuitionistic negation

DOI10.3166/JANCL.18.49-65zbMath1187.03021OpenAlexW1996986360MaRDI QIDQ3647286

No author found.

Publication date: 30 November 2009

Published in: Journal of Applied Non-Classical Logics (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.3166/jancl.18.49-65

zbMATH Keywords

substructural logicsrelevance logicsconstructive negationimplicative paradoxesrelational ternary semantics

Mathematics Subject Classification ID

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

Related Items (1)

Negation introduced with the unary connective

Cites Work

• Unnamed Item
• Unnamed Item
• Unnamed Item
• Classical relevant logics. I
• Classical relevant logics. II
• CE is not a conservative extension of E

This page was built for publication: Relevance logics and intuitionistic negation