Pages that link to "Item:Q690930"
From MaRDI portal
The following pages link to An order-theoretic analysis of interpretations among propositional deductive systems (Q690930):
Displaying 6 items.
- The semantic isomorphism theorem in abstract algebraic logic (Q324257) (← links)
- Corrigendum to: ``An order-theoretic analysis of interpretations among propositional deductive systems'' (Q904154) (← links)
- Coproduct and amalgamation of deductive systems by means of ordered algebras (Q2169140) (← links)
- AN ABSTRACT APPROACH TO CONSEQUENCE RELATIONS (Q5381042) (← links)
- Constructing \(Q\)-algebras from \(Q\)-modules (Q6083140) (← links)
- A categorical equivalence between logical quantale modules and quantum B‐modules (Q6140753) (← links)
