Pages that link to "Item:Q4508262"
From MaRDI portal
The following pages link to Implicational <i>F</i>-structures and implicational relevance logics (Q4508262):
Displaying 8 items.
- Fragments of R-mingle (Q1770601) (← links)
- Algorithmic correspondence for relevance logics, bunched implication logics, and relation algebras via an implementation of the algorithm \textsf{PEARL} (Q2695349) (← links)
- Intuitionism and relevance (Q2782585) (← links)
- (Q3724300) (← links)
- (Q4544192) (← links)
- Implicational Logic, Relevance, and Refutability (Q5006815) (← links)
- Semi-implication: A Chapter in Universal Logic (Q5258962) (← links)
- A dynamic characterization of the pure logic of relevant implication (Q5935796) (← links)