Adobe PDF
(243.44 kB)
| Title Details: | |
|
Tableaux systems |
|
| Authors: |
Koletsos, Georgios |
| Reviewer: |
Dimitrakopoulos, Konstantinos |
| Subject: | HUMANITIES AND ARTS > LOGIC AND PHILOSOPHY OF LOGIC HUMANITIES AND ARTS > LOGIC AND PHILOSOPHY OF LOGIC > LOGIC AND PHILOSOPHY OF LOGIC, MISCELLANEOUS > DEDUCTIVE LOGIC MATHEMATICS AND COMPUTER SCIENCE > MATHEMATICS > MATHEMATICAL LOGIC AND FOUNDATIONS MATHEMATICS AND COMPUTER SCIENCE > COMPUTER SCIENCE |
| Description: | |
| Abstract: |
The concept of mechanical proof. Relevant theorems, Skolem normal form, Herbrand's theorem, search space. Resolution, propositional version, Robinson's unification algorithm, resolution for predicate logic. Logical programming, Prolog language. Applications of resolution, sequential and tableau systems in logical programming.
|
| Linguistic Editors: |
Toulatou, Dimitra |
| Technical Editors: |
Ksystra, Aikaterini |
| Type: |
Chapter |
| Creation Date: | 2015 |
| Item Details: | |
| License: |
http://creativecommons.org/licenses/by-nc-nd/3.0/gr |
| Handle | http://hdl.handle.net/11419/2306 |
| Bibliographic Reference: | Koletsos, G. (2015). Tableaux systems [Chapter]. In Koletsos, G. 2015. Mathematical Logic [Undergraduate textbook]. Kallipos, Open Academic Editions. https://hdl.handle.net/11419/2306 |
| Language: |
Greek |
| Is Part of: |
Mathematical Logic |
| Publication Origin: |
Kallipos, Open Academic Editions |