The following pages link to (Q3325691):
Displaying 7 items.
- An axiomatization of the finite-valued Łukasiewicz calculus (Q1110497) (← links)
- On structural completeness of implicational logics (Q1181489) (← links)
- Algebraic logic for classical conjunction and disjunction (Q1189892) (← links)
- Definitional equivalence and algebraizability of generalized logical systems (Q1302288) (← links)
- Theory of completeness for logical spaces (Q1931338) (← links)
- Cauchy completeness in elementary logic (Q3128466) (← links)
- Proving completeness by logic (Q4653719) (← links)