A generalization of Twist-Structures Semantics for n-valued logics

  • Víctor Fernández
  • Carina Murciano

Abstract

In this paper we show a generalization of Twist-Structures Semantics which allows, under certain conditions, to express consequence relations defined by abstract finite matrices, in an alternative way. This general construction (called Discriminant Structures Semantics here) is based on the existence of a discriminant pair, to be defined. A number of  otivating examples are shown, and some technical results are demonstrated. Besides that, we compare this technique with other already existing ones.

 

Downloads

Download data is not yet available.
Published
2013-02-25
Section
Artigos