Search    Browse

The FacetedDBLP logo    Search for: in:

Disable automatic phrases ?     Syntactic query expansion: ?

Searching for subreducts with no syntactic query expansion in all metadata.

Publication years (Num. hits)
2004-2022 (9)
Publication types (Num. hits)
article(9)
Venues (Conferences, Journals, ...)
Stud Logica(6) Arch. Math. Log.(2) Soft Comput.(1)
Authors
Antoni Torrens Torrell(2) J. Patricio Díaz Varela(2) James G. Raftery(2) Paolo Aglianò(2) Willem J. Blok(2) Anna B. Romanowska(1) Clint J. van Alten(1) Diego Nicolás Castaño(1) Franco Montagna(1) Isabel M. A. Ferreirim(1) Joel Berman(1) José Patricio Díaz Varela(1) Katarzyna Matczak(1)
GrowBag graphs for keyword ? (Num. hits/coverage)

Group by:
The graphs summarize 13 occurrences of 12 keywords
Results
Found 9 publication records. Showing 9 according to the selection in the facets
Hits ?▲ Authors Title Venue Year Link Author keywords
57Paolo Aglianò, Isabel M. A. Ferreirim, Franco Montagna Basic Hoops: an Algebraic Study of Continuous t -norms. Search on Bibsonomy Stud Logica The full citation details ... 2007 DBLP  DOI  BibTeX  RDF basic hoops, continuous t-norms, subreducts of BL-algebras
42Paolo Aglianò Splittings in Subreducts of Hoops. Search on Bibsonomy Stud Logica The full citation details ... 2022 DBLP  DOI  BibTeX  RDF
42Diego Nicolás Castaño, José Patricio Díaz Varela, Antoni Torrens Torrell Indecomposability of free algebras in some subvarieties of residuated lattices and their bounded subreducts. Search on Bibsonomy Soft Comput. The full citation details ... 2011 DBLP  DOI  BibTeX  RDF
33Katarzyna Matczak, Anna B. Romanowska Quasivarieties of cancellative commutative binary modes. Search on Bibsonomy Stud Logica The full citation details ... 2004 DBLP  DOI  BibTeX  RDF subreducts, affine spaces, commutative quasigroup modes, commutative binary modes, modes, quasivarieties
25J. Patricio Díaz Varela Free Lukasiewicz implication algebras. Search on Bibsonomy Arch. Math. Log. The full citation details ... 2008 DBLP  DOI  BibTeX  RDF Mathematics Subject Classification (2000) 06F99, 08B20, 08A30
25J. Patricio Díaz Varela, Antoni Torrens Torrell Decomposability of free Lukasiewicz implication algebras. Search on Bibsonomy Arch. Math. Log. The full citation details ... 2006 DBLP  DOI  BibTeX  RDF Mathematics Subject Classification (2000) 06F99, 08B20, 08A30
25Clint J. van Alten, James G. Raftery Rule Separation and Embedding Theorems for Logics Without Weakening. Search on Bibsonomy Stud Logica The full citation details ... 2004 DBLP  DOI  BibTeX  RDF finite embeddability property, Lattice-R, linear logic, residuated lattice, separation theorem
25Joel Berman, Willem J. Blok Free Lukasiewicz and Hoop Residuation Algebras. Search on Bibsonomy Stud Logica The full citation details ... 2004 DBLP  DOI  BibTeX  RDF free spectrum, hoop, hoop residuation algebra, ukasiewicz algebra, ukasiewicz residuation algebra, Hilbert algebra, MV-algebra, BCK-algebra, free algebra
25Willem J. Blok, James G. Raftery Fragments of R-Mingle. Search on Bibsonomy Stud Logica The full citation details ... 2004 DBLP  DOI  BibTeX  RDF Sugihara algebra, mingle, fragment, RM, relevance logic
Displaying result #1 - #9 of 9 (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