Pages that link to "Item:Q368486"
From MaRDI portal
The following pages link to The proof by cases property and its variants in structural consequence relations (Q368486):
Displayed 14 items.
- Implicational (semilinear) logics. II: Additional connectives and characterizations of semilinearity (Q283093) (← links)
- Hypersequent rules with restricted contexts for propositional modal logics (Q344801) (← links)
- A note on natural extensions in abstract algebraic logic (Q495839) (← links)
- Algebraic proof theory: hypersequents and hypercompletions (Q730091) (← links)
- An algebraic view of super-Belnap logics (Q1685564) (← links)
- Eliminating disjunctions by disjunction elimination (Q1688959) (← links)
- On strong standard completeness in some \(\mathrm{MTL}_\Delta\) expansions (Q1699738) (← links)
- Selfextensional logics with a distributive nearlattice term (Q1712939) (← links)
- Implicational (semilinear) logics. III: Completeness properties (Q1745358) (← links)
- Extension properties and subdirect representation in abstract algebraic logic (Q1756591) (← links)
- Strong standard completeness for continuous t-norms (Q1795210) (← links)
- A new hierarchy of infinitary logics in abstract algebraic logic (Q2363502) (← links)
- A STUDY OF TRUTH PREDICATES IN MATRIX SEMANTICS (Q4557168) (← links)
- A HENKIN-STYLE PROOF OF COMPLETENESS FOR FIRST-ORDER ALGEBRAIZABLE LOGICS (Q5251374) (← links)