On completeness results for predicate lukasiewicz, product, gödel and nilpotent minimum logics expanded with truth-constants

Carregant...
Miniatura
El pots comprar en digital a:
El pots comprar en paper a:

Projectes de recerca

Unitats organitzatives

Número de la revista

Títol de la revista

ISSN de la revista

Títol del volum

Col·laborador

Editor

Tribunal avaluador

Realitzat a/amb

Càtedra / Departament / Institut

Tipus de document

Article

Data publicació

Editor

Universitat Politècnica de Catalunya. Secció de Matemàtiques i Informàtica

Part de

Mathware & Soft Computing. 2007, vol. 14, núm. 3

Condicions d'accés

Accés obert

Llicència

Creative Commons
Aquesta obra està protegida pels drets de propietat intel·lectual i industrial corresponents. Llevat que s'hi indiqui el contrari, els seus continguts estan subjectes a la llicència de Creative Commons: Reconeixement-NoComercial-SenseObraDerivada 3.0 Espanya

Assignatures relacionades

Assignatures relacionades

Datasets relacionats

Datasets relacionats

Projecte CCD

Abstract

In this paper we deal with generic expansions of first-order predicate logics of some left-continuous t-norms with a countable set of truth-constants. Besides already known results for the case of Lukasiewicz logic, we obtain new conservativeness and completeness results for some other expansions. Namely, we prove that the expansions of predicate Product, Gödel and Nilpotent Minimum logics with truth-constants are conservative, which already implies the failure of standard completeness for the case of Product logic. In contrast, the expansions of predicate Gödel and Nilpotent Minimum logics are proved to be strong standard complete but, when the semantics is restricted to the canonical algebra, they are proved to be complete only for tautologies. Moreover, when the language is restricted to evaluated formulae we prove canonical completeness for deductions from finite sets of premises.

Descripció

Document relacionat

Citació

Esteva Massaguer, Francesc; Godo, L.; Noguera, C. On completeness results for predicate lukasiewicz, product, gödel and nilpotent minimum logics expanded with truth-constants. "Mathware & Soft Computing", 2007, vol. 14, núm. 3, p. 233-246.

Ajut

Forma part

DOI

Dipòsit legal

ISBN

ISSN

1134-5632

Versió de l'editor

Altres identificadors

Referències