|
|
Venues (Conferences, Journals, ...)
|
|
GrowBag graphs for keyword ? (Num. hits/coverage)
Group by:
The graphs summarize 7 occurrences of 2 keywords
|
|
|
Results
Found 5 publication records. Showing 5 according to the selection in the facets
Hits ?▲ |
Authors |
Title |
Venue |
Year |
Link |
Author keywords |
28 | San-Min Wang, Petr Cintula |
Logics with disjunction and proof by cases. |
Arch. Math. Log. |
2008 |
DBLP DOI BibTeX RDF |
Mathematics Subject Classification (2000) 03B22, 03B47, 03B52 |
28 | Dov M. Gabbay, George Metcalfe |
Fuzzy logics based on [0, 1)-continuous uninorms. |
Arch. Math. Log. |
2007 |
DBLP DOI BibTeX RDF |
Mathematics Subject Classification (2000) 03B50, 03B47, 03B52 |
28 | Petr Cintula, George Metcalfe |
Normal forms for fuzzy logics: a proof-theoretic approach. |
Arch. Math. Log. |
2007 |
DBLP DOI BibTeX RDF |
Mathematics Subject Classification (2000) 03B22, 03B47, 06F35, 03G99, 03B52, 03B50 |
28 | Petr Cintula |
Weakly Implicative (Fuzzy) Logics I: Basic Properties. |
Arch. Math. Log. |
2006 |
DBLP DOI BibTeX RDF |
Mathematics Subject Classification (2000) 03B22, 03B47, 06F35, 03G99, 03B52, 03B50 |
28 | Félix Bou, Àngel García-Cerdaña, Ventura Verdú |
On two fragments with negation and without implication of the logic of residuated lattices. |
Arch. Math. Log. |
2006 |
DBLP DOI BibTeX RDF |
Mathematics Subject Classification (2000) 03B47, 03F99, 06D15, 06B99, 03B50 |
Displaying result #1 - #5 of 5 (100 per page; Change: )
|
|