Abstract
We show by way of example how one can provide in a lot of cases simple modular semantics for rules of inference, so that the semantics of a system is obtained by joining the semantics of its rules in the most straight-forward way. Our main tool for this task is the use of finite matrices, which are multi-valued structures in which the value assigned by a valuation to a complex formula can be chosen non-deterministically out of a certain nonempty set of options. The method is applied in the area of logics with a formal consistency operator (known as LFIs), allowing us to provide in a modular way effective, finite semantics for thousands of different LFIs.
| Original language | English |
|---|---|
| Title of host publication | Logica Universalis |
| Subtitle of host publication | Towards a General Theory of Logic |
| Publisher | Birkhäuser Basel |
| Pages | 155-173 |
| Number of pages | 19 |
| ISBN (Print) | 9783764383534 |
| DOIs | |
| State | Published - 2007 |
Keywords
- Propositional logics
- multiple-valued semantics
- paraconsistency