Pages that link to "Item:Q2266005"
From MaRDI portal
The following pages link to Adjoint interpretations of sentential calculi (Q2266005):
Displaying 5 items.
- An order-theoretic analysis of interpretations among propositional deductive systems (Q690930) (← links)
- Functors of Lindenbaum-Tarski, schematic interpretations, and adjoint cylinders between sentential logics (Q929639) (← links)
- Adjoint negations, more than residuated negations (Q1671770) (← links)
- A message-passing interpretation of adjoint logic (Q2035649) (← links)
- (Q3351351) (← links)