Search results for "multilattice"

Found 16 publication records. Showing 16 according to the selection in the facets

Hits ?▲	Authors	Title	Venue	Year	Link	Author keywords
87	Yaroslav Shramko, Heinrich Wansing	Hyper-Contradictions, Generalized Truth Values and Logics of Truth and Falsehood.	J. Log. Lang. Inf.	2006	DBLP DOI BibTeX RDF	Hyper-contradiction, multilattice, Belnap-trilattice, first-degree entailment
83	Jesús Medina 0001, Manuel Ojeda-Aciego, Jorge Ruiz-Calviño	On Reachability of Minimal Models of Multilattice-Based Logic Programs.	MICAI	2007	DBLP DOI BibTeX RDF
58	Jesús Medina 0001, Manuel Ojeda-Aciego, Jorge Ruiz-Calviño	A Fixed-Point Theorem for Multi-valued Functions with an Application to Multilattice-Based Logic Programming.	WILF	2007	DBLP DOI BibTeX RDF
32	Oleg Grigoriev 0001, Yaroslav I. Petrukhin	Basic modal congruent and monotonic multilattice logics.	J. Log. Comput.	2023	DBLP DOI BibTeX RDF
32	Gaël Nguepy Dongmo, Blaise Blériot Koguep Njionou, Léonard Kwuida, Mathias Onabid	Rough Fuzzy Concept Analysis via Multilattice.	IJCRS	2023	DBLP DOI BibTeX RDF
32	Yaroslav I. Petrukhin	Provability multilattice logic.	J. Appl. Non Class. Logics	2022	DBLP DOI BibTeX RDF
32	Norihiro Kamide	Alternative Multilattice Logics: An Approach Based on Monosequent and Indexed Monosequent Calculi.	Stud Logica	2021	DBLP DOI BibTeX RDF
32	Norihiro Kamide	A Substructural View of Multilattice Logic.	J. Multiple Valued Log. Soft Comput.	2019	DBLP BibTeX RDF
32	Oleg Grigoriev 0001, Yaroslav I. Petrukhin	Two proofs of the algebraic completeness theorem for multilattice logic.	J. Appl. Non Class. Logics	2019	DBLP DOI BibTeX RDF
32	Norihiro Kamide, Yaroslav Shramko, Heinrich Wansing	Kripke Completeness of Bi-intuitionistic Multilattice Logic and its Connexive Variant.	Stud Logica	2017	DBLP DOI BibTeX RDF
32	Norihiro Kamide, Yaroslav Shramko	Modal Multilattice Logic.	Logica Universalis	2017	DBLP DOI BibTeX RDF
32	Norihiro Kamide, Yaroslav Shramko	Embedding from multilattice logic into classical logic and vice versa.	J. Log. Comput.	2017	DBLP DOI BibTeX RDF
32	Norihiro Kamide	Phase Semantics for Multilattice Formalism.	ISMVL	2017	DBLP DOI BibTeX RDF
32	Ivor J. Johnston	Some results involving multilattice ideals and distributivity.	Discret. Math.	1990	DBLP DOI BibTeX RDF
25	Alfonz Haviar, Judita Lihová	Varieties of Posets.	Order	2005	DBLP DOI BibTeX RDF	congruence relation, inf-set, l-subposet, sup-set, homomorphism, poset, variety
25	Pablo Cordero, Gloria Gutiérrez, Javier Martínez 0001, Inmaculada Perez de Guzmán	A New Algebraic Tool for Automatic Theorem Provers.	Ann. Math. Artif. Intell.	2004	DBLP DOI BibTeX RDF	multisemilattice, theorem provers, automated deduction, implicants, ideals, lattice theory