Search    Browse

The FacetedDBLP logo    Search for: in:

Disable automatic phrases ?     Syntactic query expansion: ?

Searching for trilattice with no syntactic query expansion in all metadata.

Publication years (Num. hits)
2001-2018 (13)
Publication types (Num. hits)
article(10) inproceedings(3)
Venues (Conferences, Journals, ...)
Stud Logica(4) J. Log. Comput.(3) Ann. Pure Appl. Log.(1) IDEAS(1) IPMU (3)(1) ISMVL(1) J. Log. Lang. Inf.(1) Rev. Symb. Log.(1)
Authors
Norihiro Kamide(5) Heinrich Wansing(4) Yaroslav Shramko(2) Dmitry Zaitsev 0002(1) J. Michael Dunn(1) Mitio Takano(1) Petr Osicka(1) Reinhard Muskens(1) Sergei P. Odintsov(1) Stefan Wintein(1) Tatsutoshi Takenaka(1) Zoran Majkic(1)
GrowBag graphs for keyword ? (Num. hits/coverage)

Group by:
The graphs summarize 2 occurrences of 2 keywords
Results
Found 13 publication records. Showing 13 according to the selection in the facets
Hits ?▲ Authors Title Venue Year Link Author keywords
59Dmitry Zaitsev 0002 A Few More Useful 8-valued Logics for Reasoning with Tetralattice EIGHT4. Search on Bibsonomy Stud Logica The full citation details ... 2009 DBLP  DOI  BibTeX  RDF Generalized truth values, Dunn-Belnap logic, Shramko-Wansing logic, trilattice, tetralattice, first-degree entailment, bilattice
59Yaroslav Shramko, Heinrich Wansing Hyper-Contradictions, Generalized Truth Values and Logics of Truth and Falsehood. Search on Bibsonomy J. Log. Lang. Inf. The full citation details ... 2006 DBLP  DOI  BibTeX  RDF Hyper-contradiction, multilattice, Belnap-trilattice, first-degree entailment
34Reinhard Muskens, Stefan Wintein Interpolation in 16-Valued Trilattice Logics. Search on Bibsonomy Stud Logica The full citation details ... 2018 DBLP  DOI  BibTeX  RDF
34Mitio Takano Gentzenization of Trilattice Logics. Search on Bibsonomy Stud Logica The full citation details ... 2016 DBLP  DOI  BibTeX  RDF
34Norihiro Kamide Trilattice logic: an embedding-based approach. Search on Bibsonomy J. Log. Comput. The full citation details ... 2015 DBLP  DOI  BibTeX  RDF
34Norihiro Kamide Embedding-Based Methods for Trilattice Logic. Search on Bibsonomy ISMVL The full citation details ... 2013 DBLP  DOI  BibTeX  RDF
34Petr Osicka Algorithms for Computation of Concept Trilattice of Triadic Fuzzy Context. Search on Bibsonomy IPMU (3) The full citation details ... 2012 DBLP  DOI  BibTeX  RDF
34Norihiro Kamide, Heinrich Wansing Completeness and cut-elimination theorems for trilattice logics. Search on Bibsonomy Ann. Pure Appl. Log. The full citation details ... 2011 DBLP  DOI  BibTeX  RDF
34Heinrich Wansing, Norihiro Kamide Intuitionistic Trilattice Logics. Search on Bibsonomy J. Log. Comput. The full citation details ... 2010 DBLP  DOI  BibTeX  RDF
34Norihiro Kamide, Heinrich Wansing Sequent Calculi for some Trilattice Logics. Search on Bibsonomy Rev. Symb. Log. The full citation details ... 2009 DBLP  DOI  BibTeX  RDF
34Yaroslav Shramko, J. Michael Dunn, Tatsutoshi Takenaka The Trilattice of Constructive Truth Values. Search on Bibsonomy J. Log. Comput. The full citation details ... 2001 DBLP  DOI  BibTeX  RDF
26Sergei P. Odintsov On Axiomatizing Shramko-Wansing's Logic. Search on Bibsonomy Stud Logica The full citation details ... 2009 DBLP  DOI  BibTeX  RDF generalized truth value, twist-structure, axiomatics
26Zoran Majkic Meta Many-Valued Logic Programming for Incomplete and Locally Inconsistent Databases. Search on Bibsonomy IDEAS The full citation details ... 2004 DBLP  DOI  BibTeX  RDF
Displaying result #1 - #13 of 13 (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