Semantic tree method - historical perspective and applications

Izabela Bondecka-Krzykowska

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:

PDF


DOI: 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

Creative Commons License
This work is licensed under a Creative Commons Attribution 4.0 International License.