Pages that link to "Item:Q2735802"
From MaRDI portal
The following pages link to A proof system for fork algebras and its applications to reasoning in logics based on intuitionism (Q2735802):
Displaying 8 items.
- Interpretability of first-order linear temporal logics in fork algebras (Q817582) (← links)
- Rasiowa-Sikorski deduction systems in computer science applications. (Q1853457) (← links)
- Compiling dyadic first-order specifications into map algebra (Q1870581) (← links)
- (Q3146903) (← links)
- (Q4381704) (← links)
- A multimodal logic for reasoning about complementarity (Q4443402) (← links)
- Bibliography of Ewa Orłowska (Q6599610) (← links)
- (Heterogeneous) structured specifications in logics without interpolation (Q6599623) (← links)