Skip to content

A tree derivation procedure for multivalent and paraconsistent inference

Research output: Chapter in Book/Report/Conference proceedingChapter (peer-reviewed)peer-review

The use of trees as a derivation procedure, which is a refinement of Beth's semantic tableaux method and Gentzen's sequent calculus, is an elegant and well-established technique. Despite widespread acceptance and application, little effort has been made to extend the use of tree derivation procedures to multivalent alternatives to classical logic and none at all, so far as I am aware, to paraconsistent systems. The purpose of this paper is to outline briefly a single tree derivation procedure which was designed to work with a particular multi-valued paraconsistent system, Epsilon442, but will, with slight modification, work generally.
Original languageEnglish
Title of host publicationProceedings of the European Computing Conference. Vol. 2
EditorsN. Mastorakis, V. Mladenov, V. Kontargyri
Place of PublicationBoston, Mass.
PublisherSpringer
Pages651-657
Number of pages7
Edition28
ISBN (Print)9780387854373
Publication statusPublished - 2009

Publication series

NameLecture notes in electrical engineering
PublisherSpringer
Number28

Related information

Relations Get citation (various referencing formats)

ID: 59983