decision procedure

Show Summary Details

Quick Reference

A specifiable terminating procedure (algorithm) for determining whether something has a given property. In logic one focus has been on procedures for determining for a formal system whether or not ...

Subjects: Philosophy.

Reference entries

Users without a subscription are not able to see the full content. Please, subscribe or login to access all content.