The following pages link to (Q5311056):
Displayed 8 items.
- The proof by cases property and its variants in structural consequence relations (Q368486) (← links)
- Canonical extensions for congruential logics with the deduction theorem (Q636384) (← links)
- Selfextensional logics with a conjunction (Q865045) (← links)
- Logics with disjunction and proof by cases (Q938238) (← links)
- A computational glimpse at the Leibniz and Frege hierarchies (Q1676326) (← links)
- Selfextensional logics with a distributive nearlattice term (Q1712939) (← links)
- Beyond Rasiowa's algebraic approach to non-classical logics (Q2498364) (← links)
- An Abstract Algebraic Logic View on Judgment Aggregation (Q3457691) (← links)