Pages that link to "Item:Q5552158"
From MaRDI portal
The following pages link to Intensional models for first degree formulas (Q5552158):
Displayed 13 items.
- 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)
- 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)
- The implicational fragment of $R$-mingle (Q5633971) (← links)
- Semantics for relevant logics (Q5656747) (← links)