Buscar
Mostrando ítems 1-10 de 14
Many-Valued logics and translations
(1999-12-01)
This work presents the concepts of translation and conservative translation between logics. By using algebraic semantics we introduce several conservative translations involving the classical propositional calculus and the ...
Bouligand-Severi tangents in MV-algebras
(Universidad Autónoma de Madrid, 2014-04)
In their recent seminal paper published in the Annals of Pure and Applied Logic, Dubuc and Poveda call an MV-algebra A strongly semisimple if all principal quotients of A are semisimple. All boolean algebras are strongly ...
On The Set Of Intermediate Logics Between The Truth- And Degree-preserving Aukasiewicz Logics
(OXFORD UNIV PRESSOXFORD, 2016)
On The Set Of Intermediate Logics Between The Truth- And Degree-preserving Aukasiewicz Logics
(Oxford Univ PressOxford, 2016)
Expanding With A Boolean Connective
(SpringerNew York, 2017)
Monadic BL-algebras: The equivalent algebraic semantics of Hájek's monadic fuzzy logic
(Elsevier Science, 2017-08)
In this article we introduce the variety of monadic BL-algebras as BL-algebras endowed with two monadic operators ∀ and ∃. After a study of the basic properties of this variety we show that this class is the equivalent ...
Many-valued Logics And Translations
(, 1999)
Dugundji’s Theorem Revisited
(Birkhauser Verlag AG, 2014)
Non-deterministic Semantics In Polynomial Format
(Elsevier, 2014)