|
|
Venues (Conferences, Journals, ...)
|
|
GrowBag graphs for keyword ? (Num. hits/coverage)
Group by:
The graphs summarize 8 occurrences of 5 keywords
|
|
|
Results
Found 6 publication records. Showing 6 according to the selection in the facets
Hits ?▲ |
Authors |
Title |
Venue |
Year |
Link |
Author keywords |
27 | Alexander Bochman |
Default logic generalized and simplified. |
Ann. Math. Artif. Intell. |
2008 |
DBLP DOI BibTeX RDF |
Mathematics Subject Classifications (2000) 68T27, 03B22, 68T30 |
27 | 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 |
27 | 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 |
27 | 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 |
27 | Josep Maria Font, Àngel J. Gil, Antoni Torrens, Ventura Verdú |
On the infinite-valued Lukasiewicz logic that preserves degrees of truth. |
Arch. Math. Log. |
2006 |
DBLP DOI BibTeX RDF |
Mathematics Subject Classification (2000) 03B50, 03G20, 03B22, 06D35 |
27 | Gert de Cooman |
Belief models: An order-theoretic investigation. |
Ann. Math. Artif. Intell. |
2005 |
DBLP DOI BibTeX RDF |
AMS subject classification 03B05, 03B22, 03B48, 06A12, 60A05, 06A06 |
Displaying result #1 - #6 of 6 (100 per page; Change: )
|
|