19 research outputs found
On completeness results for predicate lukasiewicz, product, gödel and nilpotent minimum logics expanded with truth-constants
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.Peer Reviewe
On elementary equivalence in fuzzy predicate logics
Our work is a contribution to the model theory of fuzzy predicate logics. In this paper we characterize elementary equivalence between models of fuzzy predicate logic using elementary mappings. Refining the method of diagrams we give a solution to an open problem of Hájek and Cintula (J Symb Log 71(3):863-880, 2006, Conjectures 1 and 2). We investigate also the properties of elementary extensions in witnessed and quasi-witnessed theories, generalizing some results of Section 7 of Hájek and Cintula (J Symb Log 71(3):863-880, 2006) and of Section 4 of Cerami and Esteva (Arch Math Log 50(5/6):625-641, 2011) to non-exhaustive model
Contribución al estudio de la estructura del conjunto de negaciones definidas en un retículo
[spa] El presente trabajo fue iniciado como un estudio de las negaciones utilizadas en las diversas lógicas, tema que fue motivado por los trabajos que sobre lógica algebraica vienen desarrollándose en el departamento de Estadística. Partimos de la definición de negación dada por el profesor F. de A. Sales Vallés, que es una aplicación entre ordenados y, en especial, entre retículos, que cumple las condiciones máximas posibles de forma que las negaciones utilizadas en las distintas lógicas sean casos particulares de la definición dada. Dichas negaciones han sido objeto, anteriormente a esta memoria, de varios trabajos de los que se han publicado los del profesor F. de A. Sales Vallés, el de J. Pla y el de F. Esteva. La presente memoria parte de estos trabajos y se dedica al estudio de las negaciones en los retículos completos. En resumen, los resultados que se obtienen son los siguientes: En el capítulo 1 se parte de que la imagen por una negación de un retículo completo es un inf-semirretículo completo que contiene al máximo, y se estudia si, dado cualquier inf-semirretículo que contiene al máximo, existe siempre una negación que lo tenga por imagen. La respuesta es negativa, y se dan condiciones necesarias y suficientes para que la aplicación entre negaciones e inf-semirret!oulos completos que contienen al máximo, sea inyectiva, exhaustiva o biyectiva. As! se ve que esta aplicación es una biyección si, y sólo si, el retículo es una cadena finita. En el capítulo 2 se estudia el conjunto N(L) de todas las negaciones que pueden definirse en un retículo completo. En el apartado 1 se demuestra que N(L) es un retículo completo. En el apartado 2 se dan condiciones, unas necesarias y otras suficientes, para que dicho retículo sea distributivo e infinitamente distributivo. En el apartado 3 se demuestra que la condición necesaria y suficiente para que el retículo sea un álgebra de Boole es que sea atómica, resultado que se completa en el apartado 4 al demostrar que toda álgebra de Boole de negaciones es atómica, así como al hallar la posición ocupada por la complementación del álgebra de Boole en el retículo de las negaciones. Por último, en el apartado. 5 se halla una aplicación entre un álgebra de Boole y el retículo de sus negaciones que es un monomorfismo reticular, y que nos permite, por tanto, sumergir toda álgebra de Boole completa en el retículo de sus negaciones. En el capítulo 3 se recogen y completan diversos resultados hallados en los capítulos anteriores sobre las negaciones en las cadenas completas. Así, en el cap. 2 se da una regla para construir el supremo de dos negaciones y en este capítulo se demuestra que sólo es válida para hallar el supremo de familias finitas de negaciones. También en el cap. 2 se demuestra que si un retículo es completo, atómico y distributivo, el retículo de sus negaciones es distributivo, y en el cap. 3 al demostrar que el retículo de las negaciones de una cadena completa es siempre distributivo, se prueba que la condición dada en el cap. 2 es sólo suficiente. Por último, en una nota se da una demostración del conocido teorema de completación de Mac Neille en el caso de cadenas, utilizando los retículos de negaciones
Editorial [3rd. Hispano-Polish Symposium on Systems Analysis and Computer Science: selection of papers]
Editorial [3rd. Hispano-Polish Symposium on Systems Analysis and Computer Science: selection of papers]
Putting together Łukasiewicz and product logics
In this paper we investigate a propositional fuzzy logical system \L\Pi which contains the well-known \L ukasiewicz, Product and G\"{o}del fuzzy logics as sublogics. We define the corresponding algebraic structures, called \L\Pi-algebras and prove the following completeness result:
a formula is provable in the \L\Pi logic iff it is a tautology
for all linear \L\Pi-algebras. Moreover, linear \L\Pi-algebras are shown to be embeddable in linearly ordered abelian rings with a strong unit and cancellation law
Putting together Łukasiewicz and product logics
In this paper we investigate a propositional fuzzy logical system \L\Pi which contains the well-known \L ukasiewicz, Product and G\{o}del fuzzy logics as sublogics. We define the corresponding algebraic structures, called \L\Pi-algebras and prove the following completeness result:
a formula is provable in the \L\Pi logic iff it is a tautology
for all linear \L\Pi-algebras. Moreover, linear \L\Pi-algebras are shown to be embeddable in linearly ordered abelian rings with a strong unit and cancellation law
Putting together Łukasiewicz and product logics
In this paper we investigate a propositional fuzzy logical system \L\Pi which contains the well-known \L ukasiewicz, Product and G\"{o}del fuzzy logics as sublogics. We define the corresponding algebraic structures, called \L\Pi-algebras and prove the following completeness result:
a formula is provable in the \L\Pi logic iff it is a tautology
for all linear \L\Pi-algebras. Moreover, linear \L\Pi-algebras are shown to be embeddable in linearly ordered abelian rings with a strong unit and cancellation law