Pages that link to "Item:Q3399178"
From MaRDI portal
The following pages link to Equivalence of consequence relations: an order-theoretic and categorical perspective (Q3399178):
Displaying 17 items.
- Modules over quantaloids: applications to the isomorphism problem in algebraic logic and \(\pi\)-institutions (Q308133) (← links)
- The semantic isomorphism theorem in abstract algebraic logic (Q324257) (← links)
- Representations of structural closure operators (Q627430) (← links)
- Cut elimination and strong separation for substructural logics: an algebraic approach (Q636346) (← links)
- An order-theoretic analysis of interpretations among propositional deductive systems (Q690930) (← links)
- Conditions equivalent to unit representations of ordered relational structures (Q1598973) (← links)
- Idempotency, output-drivenness and the faithfulness triangle inequality: some consequences of McCarthy's (2003) categoricity generalization (Q1711497) (← links)
- Disjunctive and conjunctive multiple-conclusion consequence relations (Q2027207) (← links)
- Coproduct and amalgamation of deductive systems by means of ordered algebras (Q2169140) (← links)
- \(M\)-sets and the representation problem (Q2350212) (← links)
- Categorical abstract algebraic logic: truth-equational \(\pi\)-institutions (Q2354626) (← links)
- Algebraization, parametrized local deduction theorem and interpolation for substructural logics over FL (Q2433102) (← links)
- Universal extensions of specialization semilattices (Q5053420) (← links)
- AN ABSTRACT APPROACH TO CONSEQUENCE RELATIONS (Q5381042) (← links)
- A SUBSTRUCTURAL GENTZEN CALCULUS FOR ORTHOMODULAR QUANTUM LOGIC (Q6148471) (← links)
- Relevant consequence relations: an invitation (Q6638234) (← links)
- Reading conclusions conjunctively (Q6655117) (← links)
