Finite models for inequations
- 1 December 1966
- journal article
- Published by Cambridge University Press (CUP) in The Journal of Symbolic Logic
- Vol. 31 (4) , 581-592
- https://doi.org/10.2307/2269694
Abstract
By inequation is meant an expression of the form, where a, b are terms taken from any first-order formal language. An inequation is consistent iff it cannot be brought to the form, by substitution.Keywords
This publication has 0 references indexed in Scilit: