Pages that link to "Item:Q4236057"
From MaRDI portal
The following pages link to Equational Reasoning in Non-Classical Logics (Q4236057):
Displaying 13 items.
- Interpretability of first-order linear temporal logics in fork algebras (Q817582) (← links)
- Logical equations in monadic logic (Q843613) (← links)
- Equational reasoning about nondeterministic processes (Q911801) (← links)
- Equational methods in first order predicate calculus (Q1065783) (← links)
- Non-covering in the interpretability lattice of equational theories (Q1802249) (← links)
- (Q2754042) (← links)
- Nominal equational logic (Q2864152) (← links)
- (Q3728962) (← links)
- (Q4345010) (← links)
- (Q4430633) (← links)
- (Q5283963) (← links)
- Bibliography of Ewa Orłowska (Q6599610) (← links)
- (Heterogeneous) structured specifications in logics without interpolation (Q6599623) (← links)