ARQNL 2018

Activity: Attending an eventParticipating in or organising workshops, courses, seminars etc.

View graph of relations

Anders Schlichtkrull - Participant

Formalization of a Paraconsistent Infinite-Valued Logic

Speaker: Anders Schlichtkrull

Abstract: Classical logics are explosive -- from a contradiction everything follows. This is problematic e.g. when reasoning about contradictory evidence. In paraconsistent logics everything does not follow from a contradiction. In this paper, formalized proofs of two meta-theorems about a propositional fragment of a paraconsistent infinite-valued higher-order logic are presented. One implies that the validity of any formula can be decided by considering a finite number of truth values and evaluating the formula in all models over these. The other implies that there is no upper bound on the size of this finite set -- it depends on the number of propositional symbols in the formula.

Talk "Formalization of a Paraconsistent Infinite-Valued Logic" at ARQNL 2018 in Oxford
18 Jul 2018

Conference

ConferenceARQNL 2018
LocationCS Lecture Theatre A
CountryUnited Kingdom
CityOxford
Period18/07/2018 → …
Internet address
Download as:
Download as PDF
Select render style:
ShortLong
PDF
Download as HTML
Select render style:
ShortLong
HTML
Download as Word
Select render style:
ShortLong
Word

ID: 151315241