The following pages link to SUBSTITUTION IN RELEVANT LOGICS (Q5117597):
Displaying 8 items.
- Substitutions into propositional tautologies (Q845921) (← links)
- Axiomatisation of substitution (Q1433380) (← links)
- Identity in Mares-Goldblatt models for quantified relevant logic (Q2056221) (← links)
- Dynamical properties of logical substitutions (Q2503197) (← links)
- Marcus and Substitutivity (Q3187715) (← links)
- On the multi-dimensional modal logic of substitutions (Q5211025) (← links)
- Theory and Applications of Satisfiability Testing (Q5713728) (← links)
- Logical forms, substitutions and information types (Q6535318) (← links)