The following pages link to (Q4362880):
Displaying 9 items.
- Interpretability of first-order linear temporal logics in fork algebras (Q817582) (← links)
- Tableaux and dual tableaux: transformation of proofs (Q995673) (← links)
- Relations and non-commutative linear logic (Q1910723) (← links)
- Encoding two-valued nonclassical logics in classical logic (Q2751373) (← links)
- Conditions for the applicability of classical logic in the framework of languages of nonclassical logics (Q2751825) (← links)
- (Q3340204) (← links)
- (Q4526555) (← links)
- (Q4544195) (← links)
- Bibliography of Ewa Orłowska (Q6599610) (← links)