Questions tagged [relevant-logic]

Relevance logics, also called relevant logics, are non-classical logics developed as attempts to avoid the paradoxes of material and strict implication.

Filter by
Sorted by
Tagged with
3
votes
2answers
193 views

Is currying valid in Linear logic and Relevance logic?

In Classical and Intuitionistic logic we have what I will call the "currying equivalence": $P \rightarrow (Q \rightarrow P) \equiv (P \land Q) \rightarrow P$ But linear and relevance logics do not ...
1
vote
0answers
124 views

How to calculate the relevancy

I am trying to calculate the relevancy for below strategies. I have the "Keywords". I like to match against the post tile and post content. Using that Match I like to calculate the Relevancy. I wish ...
0
votes
1answer
83 views

Which One of These Logical Theses Does Not Hold for Relevant Logics With a Connective for Conjunction?

I write in Polish notation and have included fully infixed notation here also which indicates parsing order. For every relevant logic simplification fails: Simplifcation: $CpCqp$ or $\big(p\...