Pages that link to "Item:Q2761754"
From MaRDI portal
The following pages link to On the soundness and completeness of equational predicate logics (Q2761754):
Displaying 9 items.
- Non-commutative first-order EQ-logics (Q1697347) (← links)
- A finitely axiomatized formalization of predicate calculus with equality (Q1906674) (← links)
- Monadic predicate calculus with equality arithmetized à la Leibniz (Q2720927) (← links)
- Composition nominative logics of equitone predicates (Q2737328) (← links)
- The Formal System of Dijkstra and Scholten (Q2945729) (← links)
- The Logic of U ·(TP)2 (Q3455647) (← links)
- (Q3728962) (← links)
- (Q5441554) (← links)
- (Q5688889) (← links)