Reference Entry

Horn clause

Thomas Macaulay Ferguson and Graham Priest

in A Dictionary of Logic

Published online June 2016 | e-ISBN: 9780191816802

Show Summary Details


A type of *clause, i.e., a finite disjunction of *literals φ0∨...

Reference Entry.  62 words. 

Subjects: Philosophy

Full text: subscription required

How to subscribe Recommend to my Librarian

Users without a subscription are not able to see the full content. Please, subscribe or login to access all content.