Pages that link to "Item:Q2993257"
From MaRDI portal
The following pages link to A formal system for propositional extended IF logic (Q2993257):
Displaying 5 items.
- An inference system of an extension of Floyd-Hoare logic for partial predicates (Q2311523) (← links)
- On the computational consequences of independence in propositional logic (Q2500830) (← links)
- A logic for extensional protocols (Q2901223) (← links)
- Independence-friendly cylindric set algebras (Q3653147) (← links)
- A propositional system induced by Japaridze's approach to IF logic (Q4644501) (← links)