|
|
Venues (Conferences, Journals, ...)
|
|
GrowBag graphs for keyword ? (Num. hits/coverage)
Group by:
The graphs summarize 2 occurrences of 2 keywords
|
|
|
Results
Found 19 publication records. Showing 19 according to the selection in the facets
Hits ?▲ |
Authors |
Title |
Venue |
Year |
Link |
Author keywords |
90 | Roberto Cignoli, Francesc Esteva, Lluís Godo |
On Lukasiewicz Logic with Truth Constants. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IFSA (2) ![In: Theoretical Advances and Applications of Fuzzy Logic and Soft Computing, Selection of Papers from IFSA 2007, pp. 869-875, 2007, Springer, 978-3-540-72433-9. The full citation details ...](Pics/full.jpeg) |
2007 |
DBLP DOI BibTeX RDF |
truth-constants, canonical standard completeness, ?ukasiewicz logic |
88 | Francesc Esteva, Lluís Godo, Carles Noguera |
Expanding the propositional logic of a t-norm with truth-constants: completeness results for rational semantics. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Soft Comput. ![In: Soft Comput. 14(3), pp. 273-284, 2010. The full citation details ...](Pics/full.jpeg) |
2010 |
DBLP DOI BibTeX RDF |
Mathematical fuzzy logic, Left-continuous t-norms, T-norm based logics, Truth-constants, Evaluated formulae, Real and rational completeness |
37 | Sergei P. Odintsov, Stanislav O. Speranski |
Belnap-Dunn Modal Logics: Truth constants vs. Truth Values. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Rev. Symb. Log. ![In: Rev. Symb. Log. 13(2), pp. 416-435, 2020. The full citation details ...](Pics/full.jpeg) |
2020 |
DBLP DOI BibTeX RDF |
|
26 | Zuzana Haniková |
Implicit definability of truth constants in Łukasiewicz logic. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Soft Comput. ![In: Soft Comput. 23(7), pp. 2279-2287, 2019. The full citation details ...](Pics/full.jpeg) |
2019 |
DBLP DOI BibTeX RDF |
|
26 | Dusan Guller |
Hyperresolution for Gödel logic with truth constants. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Fuzzy Sets Syst. ![In: Fuzzy Sets Syst. 363, pp. 1-65, 2019. The full citation details ...](Pics/full.jpeg) |
2019 |
DBLP DOI BibTeX RDF |
|
26 | Zuzana Haniková |
Implicit definability of truth constants in Łukasiewicz logic. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CoRR ![In: CoRR abs/1802.08588, 2018. The full citation details ...](Pics/full.jpeg) |
2018 |
DBLP BibTeX RDF |
|
26 | Dusan Guller |
Expanding Gödel Logic with Truth Constants and the Equality, Strict Order, Delta Operators. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IJCCI (Selected Papers) ![In: Computational Intelligence - International Joint Conference, IJCCI 2015 Lisbon, Portugal, November 12-14, 2015, Revised Selected Papers, pp. 241-269, 2015, Springer, 978-3-319-48504-1. The full citation details ...](Pics/full.jpeg) |
2015 |
DBLP DOI BibTeX RDF |
|
26 | Dusan Guller |
An Order Hyperresolution Calculus for G"{o}del Logic with Truth Constants and Equality, Strict Order, Delta. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IJCCI (FCTA) ![In: Proceedings of the 7th International Joint Conference on Computational Intelligence (IJCCI 2015) - Volume 2: FCTA, Lisbon, Portugal, November 12-14, 2015., pp. 31-46, 2015, SciTePress, 978-989-758-157-1. The full citation details ...](Pics/full.jpeg) |
2015 |
DBLP DOI BibTeX RDF |
|
26 | Dusan Guller |
Unsatisfiable Formulae of Gödel Logic with Truth Constants and , \prec , \Delta Are Recursively Enumerable. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICSI (3) ![In: Advances in Swarm and Computational Intelligence - 6th International Conference, ICSI 2015, held in conjunction with the Second BRICS Congress, CCI 2015, Beijing, China, June 25-28, 2015, Proceedings, Part III, pp. 242-250, 2015, Springer, 978-3-319-20468-0. The full citation details ...](Pics/full.jpeg) |
2015 |
DBLP DOI BibTeX RDF |
|
26 | Dusan Guller |
An Order Hyperresolution Calculus for Gödel Logic with Truth Constants. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IJCCI (FCTA) ![In: FCTA 2014 - Proceedings of the International Conference on Fuzzy Computation Theory and Applications, part of IJCCI 2014, Rome, Italy, 22 - 24 October, 2014, pp. 37-52, 2014, SciTePress, 978-989-758-053-6. The full citation details ...](Pics/full.jpeg) |
2014 |
DBLP DOI BibTeX RDF |
|
26 | Dusan Guller |
Unsatisfiable Formulae of Gödel Logic with Truth Constants and \varDelta Are Recursively Enumerable. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IJCCI (Selected Papers) ![In: Computational Intelligence - International Joint Conference, IJCCI 2014 Rome, Italy, October 22-24, 2014 Revised Selected Papers, pp. 213-234, 2014, Springer, 978-3-319-26391-5. The full citation details ...](Pics/full.jpeg) |
2014 |
DBLP DOI BibTeX RDF |
|
26 | Zuzana Haniková |
Expanding Basic Fuzzy Logic with truth constants for component delimiters. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Fuzzy Sets Syst. ![In: Fuzzy Sets Syst. 197, pp. 95-107, 2012. The full citation details ...](Pics/full.jpeg) |
2012 |
DBLP DOI BibTeX RDF |
|
26 | Francesc Esteva, Lluís Godo, Carles Noguera |
On expansions of WNM t-norm based logics with truth-constants. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Fuzzy Sets Syst. ![In: Fuzzy Sets Syst. 161(3), pp. 347-368, 2010. The full citation details ...](Pics/full.jpeg) |
2010 |
DBLP DOI BibTeX RDF |
|
26 | Francesc Esteva, Lluís Godo, Carles Noguera |
First-order t-norm based fuzzy logics with truth-constants: Distinguished semantics and completeness properties. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Ann. Pure Appl. Log. ![In: Ann. Pure Appl. Log. 161(2), pp. 185-202, 2009. The full citation details ...](Pics/full.jpeg) |
2009 |
DBLP DOI BibTeX RDF |
|
26 | Francesc Esteva, Joan Gispert, Lluís Godo, Carles Noguera |
Adding truth-constants to logics of continuous t-norms: Axiomatization and completeness results. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Fuzzy Sets Syst. ![In: Fuzzy Sets Syst. 158(6), pp. 597-618, 2007. The full citation details ...](Pics/full.jpeg) |
2007 |
DBLP DOI BibTeX RDF |
|
26 | Francesc Esteva, Lluís Godo, Carles Noguera |
On Completeness Results for the Expansions with Truth-constants of Some Predicate Fuzzy Logics. ![Search on Bibsonomy](Pics/bibsonomy.png) |
EUSFLAT Conf. (2) ![In: New Dimensions in Fuzzy Logic and Related Technologies. Proceedings of the 5th EUSFLAT Conference, Ostrava, Czech Republic, September 11-14, 2007, Volume 2: Regular Sessions, pp. 21-26, 2007, Universitas Ostraviensis, 978-80-7368-387-0. The full citation details ...](Pics/full.jpeg) |
2007 |
DBLP BibTeX RDF |
|
26 | Petr Hájek 0001 |
Computational complexity of t-norm based propositional fuzzy logics with rational truth constants. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Fuzzy Sets Syst. ![In: Fuzzy Sets Syst. 157(5), pp. 677-682, 2006. The full citation details ...](Pics/full.jpeg) |
2006 |
DBLP DOI BibTeX RDF |
|
26 | Petr Savický, Roberto Cignoli, Francesc Esteva, Lluís Godo, Carles Noguera |
On Product Logic with Truth-constants. ![Search on Bibsonomy](Pics/bibsonomy.png) |
J. Log. Comput. ![In: J. Log. Comput. 16(2), pp. 205-225, 2006. The full citation details ...](Pics/full.jpeg) |
2006 |
DBLP DOI BibTeX RDF |
|
13 | George Metcalfe, Nicola Olivetti, Dov M. Gabbay |
Goal-Directed Methods for Lukasiewicz Logic. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CSL ![In: Computer Science Logic, 18th International Workshop, CSL 2004, 13th Annual Conference of the EACSL, Karpacz, Poland, September 20-24, 2004, Proceedings, pp. 85-99, 2004, Springer, 3-540-23024-6. The full citation details ...](Pics/full.jpeg) |
2004 |
DBLP DOI BibTeX RDF |
ukasiewicz Logics, Goal-Directed Methods, Fuzzy Logics |
Displaying result #1 - #19 of 19 (100 per page; Change: )
|
|