The following pages link to (Q2772907):
Displayed 9 items.
- On the infinite-valued Łukasiewicz logic that preserves degrees of truth (Q850803) (← links)
- Fregean logics with the multiterm deduction theorem and their algebraization (Q1770606) (← links)
- On the closure properties of the class of full G-models of a deductive system (Q2433101) (← links)
- Preservation of Craig interpolation by the product of matrix logics (Q2446552) (← links)
- Beyond Rasiowa's algebraic approach to non-classical logics (Q2498364) (← links)
- A Mathematical Life (Q4586411) (← links)
- Deduction-Detachment Theorem and Gentzen-Style Deductive Systems (Q4586413) (← links)
- The simplest protoalgebraic logic (Q5396225) (← links)
- Abstract algebraic logic. An introductory chapter (Q6120603) (← links)