Search    Browse

The FacetedDBLP logo    Search for: in:

Disable automatic phrases ?     Syntactic query expansion: ?

Searching for phrase IMTL-algebras (changed automatically) with no syntactic query expansion in all metadata.

Publication years (Num. hits)
2005 (2) 2006 (1) 2011 (1)
Publication types (Num. hits)
article(3) inproceedings(1)
Venues (Conferences, Journals, ...)
Algebraic and Proof-theoretic ...(1) Arch. Math. Log.(1) Soft Comput.(1) Stud Logica(1)
Authors
Francesc Esteva(2) Joan Gispert(2) Antoni Torrens(1) Carles Noguera(1) Lianzhen Liu(1) Lluís Godo(1) Xiangyang Zhang(1)
GrowBag graphs for keyword ? (Num. hits/coverage)

Group by:
The graphs summarize 5 occurrences of 4 keywords
Results
Found 4 publication records. Showing 4 according to the selection in the facets
Hits ?▲ Authors Title Venue Year Link Author keywords
254Carles Noguera, Francesc Esteva, Joan Gispert Perfect and bipartite IMTL-algebras and disconnected rotations of prelinear semihoops. Search on Bibsonomy Arch. Math. Log. The full citation details ... 2005 DBLP  DOI  BibTeX  RDF Bipartite algebras, Cancellative hoops, disconnected rotation, IMTL-algebras, local algebras, perfect algebras, prelinear semihoops, Wajsberg hoops, filters, many-valued logic, MV-algebras, Algebraizable logics
204Francesc Esteva, Lluís Godo Towards the Generalization of Mundici's Gamma Functor to IMTL Algebras: The Linearly Ordered Case. Search on Bibsonomy Algebraic and Proof-theoretic Aspects of Non-classical Logics The full citation details ... 2006 DBLP  DOI  BibTeX  RDF
73Joan Gispert, Antoni Torrens Axiomatic Extensions of IMT3 Logic. Search on Bibsonomy Stud Logica The full citation details ... 2005 DBLP  DOI  BibTeX  RDF IMTL-algebras, involutive monoidal t-norm logic, residu-ated lattices, many-valued logics
45Lianzhen Liu, Xiangyang Zhang States on finite linearly ordered IMTL-algebras. Search on Bibsonomy Soft Comput. The full citation details ... 2011 DBLP  DOI  BibTeX  RDF
Displaying result #1 - #4 of 4 (100 per page; Change: )
Valid XHTML 1.1! Valid CSS! [Valid RSS]
Maintained by L3S.
Previously maintained by Jörg Diederich.
Based upon DBLP by Michael Ley.
open data data released under the ODC-BY 1.0 license