Labelled Deduction (APPLIED LOGIC SERIES Volume 17)
Contributors: David Basin (Editor); M. D'Agostino (Editor); D.M. Gabbay (Editor); Seán Matthews (Editor); Luca Viganò (Editor)
Edition: 1 edition
Publisher: Springer
Published: April 30, 2000
Language: eng
Format: Hardcover
Number of pages: 280
ISBN-13: 9780792362371
Subjects: Mathematical And Symbolic Logic; Philosophy Of Mathematics; Philosophy; Mathematics; Artificial Intelligence - General; Logic; Computers : Artificial Intelligence - General; Mathematics / Logic; Philosophy / Logic; Modality (Logic); Computers
First sentence: Many proof-search methods (sequent calculus, tableaux, resolution, connections) have been naturally developed in classical logic (CL) with a view to avoiding the possible redundancies, unsuccessful explorations or loops, as illustrated by naive search in sequent calculi.