Pages that link to "Item:Q5552158"
From MaRDI portal
The following pages link to Intensional models for first degree formulas (Q5552158):
Displaying 19 items.
- A relevant logic of questions (Q829829) (← links)
- Sentential constants in R and \(R^{\neg}\) (Q1092033) (← links)
- Classical relevant logics. I (Q1221097) (← links)
- Classical relevant logics. II (Q1221098) (← links)
- Cut-elimination theorem for relevant logics (Q1247417) (← links)
- Alternative semantics for quantified first degree relevant logic (Q1257474) (← links)
- The existence of matrices strongly adequate for E, R and their fragments (Q1259580) (← links)
- On a new idiom in the study of entailment (Q1942338) (← links)
- Homomorphisms of intensionally complemented distributive lattices (Q2526962) (← links)
- E-theories (Q2549688) (← links)
- Propositional quantifiers (Q2553356) (← links)
- On interpretation and separation theorems for the logical systems E and R (Q2557238) (← links)
- A semantical analysis of implicational system I and of the first degree of entailment (Q2558212) (← links)
- Two, Three, Four, Infinity: The Path to the Four-Valued Logic and Beyond (Q3305609) (← links)
- Tarskian Classical Relevant Logic (Q5027232) (← links)
- Larisa Maksimova’s Early Contributions to Relevance Logic (Q5214731) (← links)
- Two Infinite Sequences of Pre-Maximal Extensions of the Relevant Logic E (Q5241401) (← links)
- The implicational fragment of $R$-mingle (Q5633971) (← links)
- Semantics for relevant logics (Q5656747) (← links)
