Pages that link to "Item:Q2374542"
From MaRDI portal
The following pages link to Contraction in propositional logic (Q2374542):
Displaying 8 items.
- Contraction-elimination for implicational logics (Q676308) (← links)
- Shielded base contraction (Q1647518) (← links)
- AGM contraction and revision of rules (Q1698336) (← links)
- Partial meet pseudo-contractions (Q1726273) (← links)
- Syntax splitting for iterated contractions, ignorations, and revisions on ranking functions using selection strategies (Q2055783) (← links)
- Elementary belief revision operators (Q2686095) (← links)
- Entrenchment-based Horn contraction (Q2922397) (← links)
- Morpho-logic from a topos perspective -- application to symbolic AI (Q6178744) (← links)