|
|
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. |
IFSA (2) |
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. |
Soft Comput. |
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. |
Rev. Symb. Log. |
2020 |
DBLP DOI BibTeX RDF |
|
26 | Zuzana Haniková |
Implicit definability of truth constants in Łukasiewicz logic. |
Soft Comput. |
2019 |
DBLP DOI BibTeX RDF |
|
26 | Dusan Guller |
Hyperresolution for Gödel logic with truth constants. |
Fuzzy Sets Syst. |
2019 |
DBLP DOI BibTeX RDF |
|
26 | Zuzana Haniková |
Implicit definability of truth constants in Łukasiewicz logic. |
CoRR |
2018 |
DBLP BibTeX RDF |
|
26 | Dusan Guller |
Expanding Gödel Logic with Truth Constants and the Equality, Strict Order, Delta Operators. |
IJCCI (Selected Papers) |
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. |
IJCCI (FCTA) |
2015 |
DBLP DOI BibTeX RDF |
|
26 | Dusan Guller |
Unsatisfiable Formulae of Gödel Logic with Truth Constants and , \prec , \Delta Are Recursively Enumerable. |
ICSI (3) |
2015 |
DBLP DOI BibTeX RDF |
|
26 | Dusan Guller |
An Order Hyperresolution Calculus for Gödel Logic with Truth Constants. |
IJCCI (FCTA) |
2014 |
DBLP DOI BibTeX RDF |
|
26 | Dusan Guller |
Unsatisfiable Formulae of Gödel Logic with Truth Constants and \varDelta Are Recursively Enumerable. |
IJCCI (Selected Papers) |
2014 |
DBLP DOI BibTeX RDF |
|
26 | Zuzana Haniková |
Expanding Basic Fuzzy Logic with truth constants for component delimiters. |
Fuzzy Sets Syst. |
2012 |
DBLP DOI BibTeX RDF |
|
26 | Francesc Esteva, Lluís Godo, Carles Noguera |
On expansions of WNM t-norm based logics with truth-constants. |
Fuzzy Sets Syst. |
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. |
Ann. Pure Appl. Log. |
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. |
Fuzzy Sets Syst. |
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. |
EUSFLAT Conf. (2) |
2007 |
DBLP BibTeX RDF |
|
26 | Petr Hájek 0001 |
Computational complexity of t-norm based propositional fuzzy logics with rational truth constants. |
Fuzzy Sets Syst. |
2006 |
DBLP DOI BibTeX RDF |
|
26 | Petr Savický, Roberto Cignoli, Francesc Esteva, Lluís Godo, Carles Noguera |
On Product Logic with Truth-constants. |
J. Log. Comput. |
2006 |
DBLP DOI BibTeX RDF |
|
13 | George Metcalfe, Nicola Olivetti, Dov M. Gabbay |
Goal-Directed Methods for Lukasiewicz Logic. |
CSL |
2004 |
DBLP DOI BibTeX RDF |
ukasiewicz Logics, Goal-Directed Methods, Fuzzy Logics |
Displaying result #1 - #19 of 19 (100 per page; Change: )
|
|