The following pages link to On intermediate many-valued logics (Q771031):
Displaying 8 items.
- Equational axioms for classes of Heyting algebras (Q1237072) (← links)
- Infinitary equilibrium logic and strongly equivalent logic programs (Q2407875) (← links)
- Infinitary Equilibrium Logic and Strong Equivalence (Q3449222) (← links)
- Stable reasoning (Q4586232) (← links)
- Proving infinitary formulas (Q4593059) (← links)
- Some structure results for propositional calculi (Q5582301) (← links)
- V. Yankov’s Contributions to Propositional Logic (Q5886455) (← links)
- Yankov Characteristic Formulas (An Algebraic Account) (Q5886458) (← links)
