دستگاه صوری
در منطق صوری، منظور از دستگاه صوری (به انگلیسی: Formal system) عبارت است از یک زبان صوری به علاوهٔ مجموعهای از قواعد استنباط و اصول موضوع.
جستارهای وابسته
منابع
Ebbinghaus, H. -D., Flum, J., and Thomas, W. Mathematical logic, Springer-Verlag New* York Inc., ۱۹۸۴. ISBN 0-387-96170-4
| ردههای سامانهها |
|
|---|---|
| سامانهها |
|
| زمینههای نظری |
|
| دانشمندان سامانهها |
|
 ردهها |
|
This article is issued from Wikipedia. The text is licensed under Creative Commons - Attribution - Sharealike. Additional terms may apply for the media files.