Article ID | Journal | Published Year | Pages | File Type |
---|---|---|---|---|
6855828 | Fuzzy Sets and Systems | 2018 | 13 Pages |
Abstract
We introduce properties of consequence relations that provide abstract counterparts of different notions of finite-valuedness in logic. In particular, we obtain characterizations of logics that are determined (i) by a single finite matrix, (ii) by a finite set of finite matrices, and (iii) by a set of n-generated matrices for some natural number n. A crucial role is played in our proofs by two closely related notions, local tabularity and local finiteness.
Keywords
Related Topics
Physical Sciences and Engineering
Computer Science
Artificial Intelligence
Authors
Carlos Caleiro, Sérgio Marcelino, Umberto Rivieccio,