## ARQNL 2018

Activity: Attending an event › Participating in or organising workshops, courses, seminars etc.

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

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

Conference | ARQNL 2018 |
---|---|

Location | CS Lecture Theatre A |

Country | United Kingdom |

City | Oxford |

Period | 18/07/2018 → … |

Internet address |

Download as:

ID: 151315241