|
|
Venues (Conferences, Journals, ...)
|
|
GrowBag graphs for keyword ? (Num. hits/coverage)
Group by:
The graphs summarize 5 occurrences of 5 keywords
|
|
|
Results
Found 15 publication records. Showing 15 according to the selection in the facets
Hits ?▲ |
Authors |
Title |
Venue |
Year |
Link |
Author keywords |
98 | Heinrich Wansing, Yaroslav Shramko |
Suszko's Thesis, Inferential Many-valuedness, and the Notion of a Logical System. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Stud Logica ![In: Stud Logica 88(3), pp. 405-429, 2008. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP DOI BibTeX RDF |
Suszko’s Thesis, inferential many-valuedness, bivaluations, algebraic values, logical truth values, many-valued logic |
61 | Daiju Inaba, Tateaki Sasaki |
A numerical study of extended Hensel series. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SNC ![In: Symbolic-Numeric Computation, SNC 2007, International Workshop, 25-27 July 2007, University of Western Ontario, London, Ontario, Canada, pp. 103-109, 2007, ACM, 978-1-59593-744-5. The full citation details ...](Pics/full.jpeg) |
2007 |
DBLP DOI BibTeX RDF |
many-valuedness, multivariate algebraic function, series expansion, convergence, singular point |
41 | Grzegorz Malinowski |
Beyond Three Inferential Values. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Stud Logica ![In: Stud Logica 92(2), pp. 203-213, 2009. The full citation details ...](Pics/full.jpeg) |
2009 |
DBLP DOI BibTeX RDF |
consequence operation, q-consequence, many-valuedness, logical value, inferential value, logical two-valuedness, Suszko’s Thesis, logical n-valuedness, structurality |
37 | Patrik Eklund, Javier Gutiérrez García, Ulrich Höhle, Jari Kortelainen |
Non-commutativity and many-valuedness: The topological representation of the spectrum of C∗-algebras. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FUZZ-IEEE ![In: 2017 IEEE International Conference on Fuzzy Systems, FUZZ-IEEE 2017, Naples, Italy, July 9-12, 2017, pp. 1-4, 2017, IEEE, 978-1-5090-6034-4. The full citation details ...](Pics/full.jpeg) |
2017 |
DBLP DOI BibTeX RDF |
|
37 | Patrik Eklund, Ulrich Höhle, Jari Kortelainen |
Non-commutative Quantales for Many-Valuedness in Applications. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IPMU (1) ![In: Information Processing and Management of Uncertainty in Knowledge-Based Systems - 16th International Conference, IPMU 2016, Eindhoven, The Netherlands, June 20-24, 2016, Proceedings, Part I, pp. 437-449, 2016, Springer, 978-3-319-40595-7. The full citation details ...](Pics/full.jpeg) |
2016 |
DBLP DOI BibTeX RDF |
|
37 | Carlos Caleiro, João Marcos 0001 |
Many-valuedness Meets Bivalence: Using Logical Values in an EffectiveWay. ![Search on Bibsonomy](Pics/bibsonomy.png) |
J. Multiple Valued Log. Soft Comput. ![In: J. Multiple Valued Log. Soft Comput. 19(1-3), pp. 51-70, 2012. The full citation details ...](Pics/full.jpeg) |
2012 |
DBLP BibTeX RDF |
|
37 | Zoran Majkic |
Probabilistic Logic: Many-valuedness and Intensionality ![Search on Bibsonomy](Pics/bibsonomy.png) |
CoRR ![In: CoRR abs/1103.0676, 2011. The full citation details ...](Pics/full.jpeg) |
2011 |
DBLP BibTeX RDF |
|
37 | Tateaki Sasaki, Daiju Inaba |
Convergence and many-valuedness of hensel seriesnear the expansion point. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SNC ![In: Symbolic Numeric Computation, SNC '09, Kyoto, Japan - August 03 - 05, 2009, pp. 159-168, 2009, ACM, 978-1-60558-664-9. The full citation details ...](Pics/full.jpeg) |
2009 |
DBLP DOI BibTeX RDF |
|
37 | Heinrich Wansing, Yaroslav Shramko |
Erratum to Suszko's Thesis, Inferential Many-valuedness, and the Notion of a Logical System Studia Logica , 88: 405-429, 2008. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Stud Logica ![In: Stud Logica 89(1), pp. 147, 2008. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP DOI BibTeX RDF |
|
37 | Jean-Yves Béziau |
Non Truth-Functional Many-Valuedness. ![Search on Bibsonomy](Pics/bibsonomy.png) |
WoLLIC ![In: 9th Workhop on Logic, Language, Information and Computation, WoLLIC 2002, Rio de Janeiro, Brazil, July 30 - August 2, 2002, pp. 116-130, 2002, Elsevier. The full citation details ...](Pics/full.jpeg) |
2002 |
DBLP DOI BibTeX RDF |
|
37 | Ewa Orlowska |
Many-Valuedness and Uncertainty. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ISMVL ![In: 27th IEEE International Symposium on Multiple-Valued Logic, ISMVL 1997, Antigonish, Nova Scotia, Canada, May 28-30, 1997, Proceedings, pp. 153-162, 1997, IEEE Computer Society, 0-8186-7910-7. The full citation details ...](Pics/full.jpeg) |
1997 |
DBLP DOI BibTeX RDF |
modal information logics, many-valued modal logics, uncertain knowledge, calculus of information relations, Aristotelian syllogistic, multivalued logic |
37 | Ryszard Wójcicki |
Note on Deducibility and Many-Valuedness. ![Search on Bibsonomy](Pics/bibsonomy.png) |
J. Symb. Log. ![In: J. Symb. Log. 39(3), pp. 563-566, 1974. The full citation details ...](Pics/full.jpeg) |
1974 |
DBLP DOI BibTeX RDF |
|
37 | D. J. Shoesmith, T. J. Smiley |
Deducibility and Many-Valuedness. ![Search on Bibsonomy](Pics/bibsonomy.png) |
J. Symb. Log. ![In: J. Symb. Log. 36(4), pp. 610-622, 1971. The full citation details ...](Pics/full.jpeg) |
1971 |
DBLP DOI BibTeX RDF |
|
24 | Thomas Lukasiewicz |
Fixpoint Characterizations for Many-Valued Disjunctive Logic Programs with Probabilistic Semantics. ![Search on Bibsonomy](Pics/bibsonomy.png) |
LPNMR ![In: Logic Programming and Nonmonotonic Reasoning, 6th International Conference, LPNMR 2001, Vienna, Austria, September 17-19, 2001, Proceedings, pp. 336-350, 2001, Springer, 3-540-42593-4. The full citation details ...](Pics/full.jpeg) |
2001 |
DBLP DOI BibTeX RDF |
|
21 | George Georgescu, Andrei Popescu 0001 |
A common generalization for MV-algebras and Lukasiewicz-Moisil algebras. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Arch. Math. Log. ![In: Arch. Math. Log. 45(8), pp. 947-981, 2006. The full citation details ...](Pics/full.jpeg) |
2006 |
DBLP DOI BibTeX RDF |
Mathematics Subject Classification (2000) 06D35, 03G20, 06F15 |
Displaying result #1 - #15 of 15 (100 per page; Change: )
|
|