MetaCart Sign in to MyCiteSeerX

Documents
Authors
Tables !

Searching for "Logical Closures." – sorted by Relevance.

Order by: Citations | Year (Descending) | Year (Ascending) | Recency

Try your query at: Scholar | Yahoo! | Ask | Bing | CSB

150 documents found, showing 1 through 10. Next 10 →

ATOM

Partial Deductive Closure: Logical Simulation and Management Science
by Jaap Kamps, Michael Masuch — 1997 — Management Science
…Partial Deductive Closure: Logical Simulation and Management Science Jaap Kamps Michael Masuch…
Cited by 4 (3 self) – Add To MetaCart

Hierarchies in Classes of Program Schemes
by Argimiro A. Arratia-quesada, Savita R. Chauhan, Iain A. Stewart — 1999
… defined by the sentences of transitive closure logic (program schemes of NPS are obtained by generalizing…
Cited by 7 (7 self) – Add To MetaCart

Formal Concept Analysis and Resolution in Algebraic Domains
by Pascal Hitzler, Matthias Wendt — 2003 — Using Conceptual Structures — Contributions to ICCS 2003, Shaker Verlag, Aachen
… that a special instance of the resolution rule from the domain logic coincides with the concept closure…
Cited by 5 (5 self) – Add To MetaCart

Quantales as completions of ordered monoids: Revised semantics for Intuitionistic Linear Logic
by D. Larchey-Wendling, D. Galmiche — 2000 — Electronic Notes in Theoretical Computer Science
…; for example we can mention the transitive closure, logical closure, topological closure, algebraic closure…
Cited by 5 (3 self) – Add To MetaCart

Awareness, Negation and Logical Omniscience
by Zhisheng Huang And, Zhisheng Huang, Karen Kwast — 1991 — Logics in AI, Proceedings JELIA’90. Volume 478 of Lecture Notes in Computer Science
… and belief are indeed closed under implication. Of course, it is often pointed out that the logical closure…
Add To MetaCart

Undecidability Results on Two-Variable Logics
by Erich Grädel, Martin Otto, Eric Rosen — 1998 — in Proceedings of 14th Symposium on Theoretical Aspects of Computer Science STACS`97, Lecture Notes in Computer Science Nr. 1200
… of the following leads to an undecidable logic: ffl very weak forms of recursion, viz. (i) transitive closure…
Cited by 24 (4 self) – Add To MetaCart

TDIS: an Algebraic Formalization
by Jean-Gabriel Ganascia — 1993
… closure and logical closure. Section 5 shows that induction is performed by the completion of the logical…
Cited by 19 (1 self) – Add To MetaCart

A Mathematical Model for Integrated Diagnostics
by John W. Sheppard , William R. Simpson — 1991
… in a process called logical closure. When logical closure provides a new implication, it must again…
Cited by 10 (6 self) – Add To MetaCart

Complete axiomatizations of finite syntactic epistemic states
by Michal Walicki — 2005 — In Proceedings of the 3rd International Workshop on Declarative Agent Languages and Technologies (DALT
… for several different models of knowledge – also including closure under logical consequence. It is, however…
Cited by 13 (3 self) – Add To MetaCart

K.: Semantic characterization of real world events
by Aparna Nagargadde, Sridhar V, Krithi Ramamritham — 2005 — In DASFAA
… on a query. We discuss below two types of event closures, namely, logical closure and sequence closure…
Cited by 2 (0 self) – Add To MetaCart

Showing 1 through 10. Next 10 →

ATOM

Try your query at: Scholar | Yahoo! | Ask | Bing | CSB