Toggle navigation
Notables
de la Ciencia
ACERCA DE
PROYECTO
Historia del proyecto
Contacto
JavaScript is disabled for your browser. Some features of this site may not work without it.
Cignoli, Roberto Leonardo Oscar
PRODUCCION CIENTÍFICO TECNOLÓGICA
Mostrando ítems 1-12 de 12
Artículo
A Categorical Equivalence for Stonean Residuated Lattices
Busaniche, Manuela
;
Cignoli, Roberto Leonardo Oscar
;
Marcos, Miguel
(
Springer Netherlands
,
2019-04
)
Artículo
Constructive logic with strong negation as a substructural logic
Busaniche, Manuela
;
Cignoli, Roberto Leonardo Oscar
(
Oxford University Press
,
2010-08
)
Artículo
Free algebras in varieties of BL-algebras generated by BLn-chains
Busaniche, Manuela
;
Cignoli, Roberto Leonardo Oscar
(
Cambridge University Press
,
2006-06
)
Artículo
Free Algebras in Varieties of Glivenko MTL-algebras Satisfying the Equation 2(x2) = (2x)2
Cignoli, Roberto Leonardo Oscar
;
Torrens Torrell, Antoni
(
Springer
,
2006-12
)
Artículo
Free MVn-algebras
Busaniche, Manuela
;
Cignoli, Roberto Leonardo Oscar
(
Birkhauser Verlag Ag
,
2008-06
)
Artículo
Kleene-isomorphic σ-complete MV-algebras with product are isomorphic
Cignoli, Roberto Leonardo Oscar
;
Mundici, D.
;
Navara, M.
(
Old City Publishing Inc
,
2006-12
)
Artículo
Maximal Subalgebras of MVn-algebras: A Proof of a Conjecture of A. Monteiro
Cignoli, Roberto Leonardo Oscar
;
Monteiro, Luis
(
Springer
,
2006-12
)
Artículo
On Product Logic with Truth-constants
Savický, Petr
;
Cignoli, Roberto Leonardo Oscar
;
Esteva, Francesc
;
Godo, Lluis
;
Nogura, Carles
(
Oxford University Press
,
2006-12
)
Artículo
Remarks on an algebraic semantics for paraconsistent Nelson's logic
Busaniche, Manuela
;
Cignoli, Roberto Leonardo Oscar
(
Universidade Estadual de Campinas. Centro de Lógica, Epistemologia e História da Ciência
,
2011-03
)
Artículo
Standard completeness of Hájek basic logic and decompositions of BL-chains
Cignoli, Roberto Leonardo Oscar
;
Torrens Torrell, Antoni
(
Springer
,
2005-05
)
Artículo
Stone duality for Dedekind σ-complete ℓ-groups with order-unit
Cignoli, Roberto Leonardo Oscar
;
Mundici, Daniele
(
Elsevier
,
2006-12
)
Artículo
The subvariety of commutative residuated lattices represented by twist-products
Busaniche, Manuela
;
Cignoli, Roberto Leonardo Oscar
(
Springer
,
2014-03
)
Mostrando ítems 1-12 de 12