ALGEBRAIC EXPANSIONS OF LOGICS von CAMPERCHOLI, MIGUEL, CASTAÑO, DIEGO NICOLÁS, DÍAZ VARELA, JOSÉ PATRICIO, GISPERT, JOAN

Volltext

Strong completeness for the predicate logic of the continuous t-norms von Castaño, Diego, Díaz Varela, José Patricio, Savoy, Gabriel

Volltext

Quasivarieties and Congruence Permutability of Łukasiewicz Implication Algebras von Campercholi, Miguel, Castaño, Diego, Varela, José Patricio Díaz

Volltext

Varieties of pseudocomplemented Kleene algebras von Castaño, Diego, Castaño, Valeria, Varela, José Patricio Díaz, Santis, Marcela Muñoz

Volltext

Monadic BL-algebras: The equivalent algebraic semantics of Hájek's monadic fuzzy logic von Castaño, Diego, Cimadamore, Cecilia, Díaz Varela, José Patricio, Rueda, Laura

Volltext

Completeness for monadic fuzzy logics via functional algebras von Castaño, Diego, Cimadamore, Cecilia, Díaz Varela, José Patricio, Rueda, Laura

Volltext

Strong standard completeness theorems for S5-modal Łukasiewicz logics von Castaño, Diego, Díaz Varela, José Patricio, Savoy, Gabriel

Volltext

Resolution of Algebraic Systems of Equations in the Variety of Cyclic Post Algebras von Varela, José Patricio Díaz, Martinolich, Blanca Fernanda López

Volltext

An Algebraic Study of S5-Modal Gödel Logic von Castaño, Diego, Cimadamore, Cecilia, Varela, José P. Díaz, Rueda, Laura

Volltext

THE VARIETY OF SEMI-HEYTING ALGEBRAS SATISFYING THE EQUATION von Abad, Manuel, Díaz Varela, José Patricio, Cornejo, Juan Manuel

Volltext

Indecomposability of free algebras in some subvarieties of residuated lattices and their bounded subreducts von Castaño, Diego, Díaz Varela, José Patricio, Torrens, Antoni

Volltext

Terms that define nuclei on residuated lattices: a case study of BL-algebras von Buss, Sebastián, Castaño, Diego, Varela, José Patricio Díaz

Volltext bestellen

Strong standard completeness theorems for S5-modal Lukasiewicz logics von Castaño, Diego, Varela, José Patricio Díaz, Savoy, Gabriel

Volltext bestellen

Strong completeness for the predicate logic of the continuous t-norms von Castaño, Diego, Varela, José Patricio Díaz, Savoy, Gabriel

Volltext bestellen

Semi-Heyting Algebras Term-equivalent to Gödel Algebras von Abad, Manuel, Cornejo, Juan Manuel, Díaz Varela, José Patricio

Volltext

Conditions for Permutability of Congruences in Implication Algebras von Castaño, Diego N., Díaz Varela, José Patricio

Volltext

The algebraic semantics for the one-variable monadic fragment of the predicate logic $\mathcal{G}\forall_{\sim} von Castaño, Diego, Castaño, Valeria, Varela, José Patricio Díaz, Santis, Marcela Muñoz

Volltext bestellen

Decomposability of free Łukasiewicz implication algebras von Díaz Varela, Jose Patricio, Torrens Torrell, Antoni

Volltext

Strong standard completeness theorems for S5-modal Lukasiewicz logics von Castaño, Diego, José Patricio Díaz Varela, Savoy, Gabriel

Volltext

Strong completeness for the predicate logic of the continuous t-norms von Castaño, Diego, José Patricio Díaz Varela, Savoy, Gabriel

Volltext