Universal algebra
logic
The model theory of first-order equational logic.
(1997-02-25)
Read Also:
- Universal beam
noun 1. a broad-flanged rolled steel joist suitable for a stanchion (axial load) or beam (bending load)
- Universal character set
character, standard (UCS, ISO/IEC 10646) A 1993 ISO and IEC standard character set, also known as “Universal Multiple-Octet Coded Character Set”. UCS comes in a 16-bit variant called UCS-2 and a 32-bit variant called UCS-4, which is composed of 16-bit UCS-2 “planes”. So far only one 16-bit plane has been defined, which is known as […]
- Universal-chuck
noun 1. a chuck, as on a lathe headstock, having three stepped jaws moving simultaneously for precise centering of a workpiece of any of a wide range of sizes.
- Unitarian universalist association
Unitarian Universalist Association definition A religious denomination characterized by tolerance of religious beliefs and the absence of doctrine and dogma. Unitarians have their roots in Christianity but reject the doctrine of the Trinity.
- Unitarian-universalism
noun 1. a North American liberal religious denomination in the Judeo-Christian heritage, formed in 1961 by the merger of the Unitarians, organized in 1825, and the Universalists, organized in 1793.