Pages that link to "Item:Q1344840"
From MaRDI portal
The following pages link to Equational treatment of first-order logic (Q1344840):
Displaying 5 items.
- First-order theories as many-sorted algebras (Q795823) (← links)
- Logical equations in monadic logic (Q843613) (← links)
- Equational methods in first order predicate calculus (Q1065783) (← links)
- SCL(EQ): SCL for first-order logic with equality (Q2104511) (← links)
- A HENKIN-STYLE PROOF OF COMPLETENESS FOR FIRST-ORDER ALGEBRAIZABLE LOGICS (Q5251374) (← links)