MetaCart Sign in to MyCiteSeerX

Include Citations | Advanced Search | Help

Disambiguated Search | Include Citations | Advanced Search | Help

Searching for "New Operations on Orthomodular Lattices "Disjunction" and "Conjunction" Induced by Mackey Decompositions." – sorted by Relevance.

Order by: Citations | Year (Descending) | Year (Ascending) | Recency
Try your query at: Scholar | Yahoo! | Ask | Bing | CSB
Help! 84,861 documents found, showing 1 through 10. Next 10 →
ATOM RSS
  • Combining Conjunction with Disjunction  
  • by Jean-yves Béziau, Marcelo E. Coniglio — 2005 — Proceedings of the 2nd Indian International Conference on Artificial Intelligence (IICAI 2005
  • … lattices and the logic of conjunction and disjunction is tight: a lattice is the algebra we get if we…
  • Cited by 2 (2 self) – Add To MetaCart
  • conjunctive  
  • by Domenico Lembo, Riccardo Rosati, Marco Ruzzi
  • … class of unions of conjunctive queries; (ii) to overcome the above limitations, we define a new…
  • Add To MetaCart
  • Disjunctive Defaults  
  • by Michael Gelfond, Vladimir Lifschitz, Halina Przymusi'nska, Miroslav Truszczynski — 1991
  • … that provides an improved treatment of default reasoning with disjunctive information. The new system…
  • Cited by 65 (6 self) – Add To MetaCart
  • Outerjoins as Disjunctions  
  • by César A. Galindo-Legaria, Outerjoins As Disjunctions, Computer Science/department Of Algorithmics, C'esar A. Galindo-legaria
  • … rewriting operator tree Q as a join-disjunction. We show by induction the stronger property that any subtree…
  • Cited by 31 (1 self) – Add To MetaCart
Help! Showing 1 through 10. Next 10 →
ATOM RSS
Try your query at: Scholar | Yahoo! | Ask | Bing | CSB