Applied logic
Appearance
Applied logic may refer to:
- Predicate logic, a formal system in mathematical logic
- Applied Logic Corporation, a timesharing company headquartered in Princeton, New Jersey
- Formal methods, techniques for the specification, development, analysis, and verification of software and hardware systems