The FacetedDBLP logo    Search for: in:

Disable automatic phrases ?     Syntactic query expansion: ?

Searching for phrase truth-constants (changed automatically) with no syntactic query expansion in all metadata.

Publication years (Num. hits)
2004-2015 (15) 2018-2020 (4)
Publication types (Num. hits)
article(11) inproceedings(8)
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
90Roberto Cignoli, Francesc Esteva, Lluís Godo On Lukasiewicz Logic with Truth Constants. Search on Bibsonomy IFSA (2) The full citation details ... 2007 DBLP  DOI  BibTeX  RDF truth-constants, canonical standard completeness, ?ukasiewicz logic
88Francesc 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 Soft Comput. The full citation details ... 2010 DBLP  DOI  BibTeX  RDF Mathematical fuzzy logic, Left-continuous t-norms, T-norm based logics, Truth-constants, Evaluated formulae, Real and rational completeness
37Sergei P. Odintsov, Stanislav O. Speranski Belnap-Dunn Modal Logics: Truth constants vs. Truth Values. Search on Bibsonomy Rev. Symb. Log. The full citation details ... 2020 DBLP  DOI  BibTeX  RDF
26Zuzana Haniková Implicit definability of truth constants in Łukasiewicz logic. Search on Bibsonomy Soft Comput. The full citation details ... 2019 DBLP  DOI  BibTeX  RDF
26Dusan Guller Hyperresolution for Gödel logic with truth constants. Search on Bibsonomy Fuzzy Sets Syst. The full citation details ... 2019 DBLP  DOI  BibTeX  RDF
26Zuzana Haniková Implicit definability of truth constants in Łukasiewicz logic. Search on Bibsonomy CoRR The full citation details ... 2018 DBLP  BibTeX  RDF
26Dusan Guller Expanding Gödel Logic with Truth Constants and the Equality, Strict Order, Delta Operators. Search on Bibsonomy IJCCI (Selected Papers) The full citation details ... 2015 DBLP  DOI  BibTeX  RDF
26Dusan Guller An Order Hyperresolution Calculus for G"{o}del Logic with Truth Constants and Equality, Strict Order, Delta. Search on Bibsonomy IJCCI (FCTA) The full citation details ... 2015 DBLP  DOI  BibTeX  RDF
26Dusan Guller Unsatisfiable Formulae of Gödel Logic with Truth Constants and , \prec , \Delta Are Recursively Enumerable. Search on Bibsonomy ICSI (3) The full citation details ... 2015 DBLP  DOI  BibTeX  RDF
26Dusan Guller An Order Hyperresolution Calculus for Gödel Logic with Truth Constants. Search on Bibsonomy IJCCI (FCTA) The full citation details ... 2014 DBLP  DOI  BibTeX  RDF
26Dusan Guller Unsatisfiable Formulae of Gödel Logic with Truth Constants and \varDelta Are Recursively Enumerable. Search on Bibsonomy IJCCI (Selected Papers) The full citation details ... 2014 DBLP  DOI  BibTeX  RDF
26Zuzana Haniková Expanding Basic Fuzzy Logic with truth constants for component delimiters. Search on Bibsonomy Fuzzy Sets Syst. The full citation details ... 2012 DBLP  DOI  BibTeX  RDF
26Francesc Esteva, Lluís Godo, Carles Noguera On expansions of WNM t-norm based logics with truth-constants. Search on Bibsonomy Fuzzy Sets Syst. The full citation details ... 2010 DBLP  DOI  BibTeX  RDF
26Francesc Esteva, Lluís Godo, Carles Noguera First-order t-norm based fuzzy logics with truth-constants: Distinguished semantics and completeness properties. Search on Bibsonomy Ann. Pure Appl. Log. The full citation details ... 2009 DBLP  DOI  BibTeX  RDF
26Francesc Esteva, Joan Gispert, Lluís Godo, Carles Noguera Adding truth-constants to logics of continuous t-norms: Axiomatization and completeness results. Search on Bibsonomy Fuzzy Sets Syst. The full citation details ... 2007 DBLP  DOI  BibTeX  RDF
26Francesc Esteva, Lluís Godo, Carles Noguera On Completeness Results for the Expansions with Truth-constants of Some Predicate Fuzzy Logics. Search on Bibsonomy EUSFLAT Conf. (2) The full citation details ... 2007 DBLP  BibTeX  RDF
26Petr Hájek 0001 Computational complexity of t-norm based propositional fuzzy logics with rational truth constants. Search on Bibsonomy Fuzzy Sets Syst. The full citation details ... 2006 DBLP  DOI  BibTeX  RDF
26Petr Savický, Roberto Cignoli, Francesc Esteva, Lluís Godo, Carles Noguera On Product Logic with Truth-constants. Search on Bibsonomy J. Log. Comput. The full citation details ... 2006 DBLP  DOI  BibTeX  RDF
13George Metcalfe, Nicola Olivetti, Dov M. Gabbay Goal-Directed Methods for Lukasiewicz Logic. Search on Bibsonomy CSL The full citation details ... 2004 DBLP  DOI  BibTeX  RDF ukasiewicz Logics, Goal-Directed Methods, Fuzzy Logics
Displaying result #1 - #19 of 19 (100 per page; Change: )
Valid XHTML 1.1! Valid CSS! [Valid RSS]
Maintained by L3S.
Previously maintained by Jörg Diederich.
Based upon DBLP by Michael Ley.
open data data released under the ODC-BY 1.0 license