The following pages link to Classical relevant logics. I (Q1221097):
Displaying 25 items.
- Current trends in substructural logics (Q266641) (← links)
- Classical negation and expansions of Belnap-Dunn logic (Q495842) (← links)
- Relevant restricted quantification (Q853811) (← links)
- Completeness and conservative extension results for some Boolean relevant logics (Q908897) (← links)
- R\(\urcorner\)-algebras and R\(\urcorner\)-model structures as power constructs (Q909651) (← links)
- Classical relevant logics. II (Q1221098) (← links)
- On S (Q1317902) (← links)
- New axiomatics for relevant logics. I (Q1394338) (← links)
- CE is not a conservative extension of E (Q1576386) (← links)
- Extensions of Priest-da Costa logic (Q2016069) (← links)
- What is a relevant connective? (Q2155944) (← links)
- Relation algebras of Sugihara, Belnap, Meyer, and Church (Q2210869) (← links)
- Modal and intuitionistic variants of extended Belnap-Dunn logic with classical negation (Q2236504) (← links)
- Basic quasi-Boolean expansions of relevance logics (Q2236601) (← links)
- Gentzen-type sequent calculi for extended Belnap-Dunn logics with classical negation: a general framework (Q2418013) (← links)
- Neighbourhood semantics for modal relevant logics (Q2686089) (← links)
- Two Negations Are More than One (Q3305676) (← links)
- RELEVANCE LOGIC AND THE CALCULUS OF RELATIONS (Q3550705) (← links)
- Relevance logics and intuitionistic negation (Q3647286) (← links)
- 3088 varieties: A solution to the Ackermann constant problem (Q3695256) (← links)
- Gentzenizations of relevant logics with distribution (Q4894719) (← links)
- A basic quasi-Boolean logic of intuitionistic character (Q4994021) (← links)
- Tarskian Classical Relevant Logic (Q5027232) (← links)
- Convolution as a Unifying Concept (Q5277916) (← links)
- RELEVANCE LOGICS AND RELATION ALGEBRAS (Q5323794) (← links)
