Semantic tree method - historical perspective and applications
Abstract
The method of semantic tablaux or semantic tree is a very well known method in logic. Everyone who had ever learned logic knows basic rules and applications of this method. In the paper special attention is drawn to the history of this method as a part of the history of computers (especially of the history of mechanization of reasoning) and its applications. The method itself is presented for the classical propositional calculus and predicate calculus.
Full Text:
PDFDOI: http://dx.doi.org/10.17951/ai.2005.3.1.15-25
Date of publication: 2015-01-04 00:00:00
Date of submission: 2016-04-27 10:14:15
Statistics
Total abstract view - 339
Downloads (from 2020-06-17) - PDF - 0
Indicators
Refbacks
- There are currently no refbacks.
Copyright (c) 2015 Annales UMCS Sectio AI Informatica
This work is licensed under a Creative Commons Attribution 4.0 International License.