| http://www.w3.org/ns/prov#value | - Impressed by the simplicity and mathematical elegance of the tableau point of view, the author focuses on it here.After preliminary material on tress (necessary for the tableau method), Part I deals with propositional logic from the viewpoint of analytic tableaux, covering such topics as formulas or propositional logic, Boolean valuations and truth sets, the method of tableaux and compactness.Part
|
