Pages that link to "Item:Q514508"
From MaRDI portal
The following pages link to Constructing natural extensions of propositional logics (Q514508):
Displaying 6 items.
- A note on natural extensions in abstract algebraic logic (Q495839) (← links)
- Extension properties and subdirect representation in abstract algebraic logic (Q1756591) (← links)
- Filter pairs and natural extensions of logics (Q2700816) (← links)
- A logic for extensional protocols (Q2901223) (← links)
- Adding the everywhere operator to propositional logic (Q4399516) (← links)
- (Q5202232) (← links)