Skip to main content
We gratefully acknowledge support from the Simons Foundation, member institutions, and all contributors. Donate
arXiv logo
Cornell University Logo

Computer Science > Artificial Intelligence

arXiv:cs/0205079 (cs)
[Submitted on 31 May 2002 (v1), last revised 2 Aug 2002 (this version, v2)]

Title:Connectives in Quantum and other Cumulative Logics

Authors:Daniel Lehmann
View PDF
Abstract: Cumulative logics are studied in an abstract setting, i.e., without connectives, very much in the spirit of Makinson's early work. A powerful representation theorem characterizes those logics by choice functions that satisfy a weakening of Sen's property alpha, in the spirit of the author's "Nonmonotonic Logics and Semantics" (JLC). The representation results obtained are surprisingly smooth: in the completeness part the choice function may be defined on any set of worlds, not only definable sets and no definability-preservation property is required in the soundness part. For abstract cumulative logics, proper conjunction and negation may be defined. Contrary to the situation studied in "Nonmonotonic Logics and Semantics" no proper disjunction seems to be definable in general. The cumulative relations of KLM that satisfy some weakening of the consistency preservation property all define cumulative logics with a proper negation. Quantum Logics, as defined by Engesser and Gabbay are such cumulative logics but the negation defined by orthogonal complement does not provide a proper negation.
Comments: 21 pages
Subjects: Artificial Intelligence (cs.AI); Logic (math.LO)
ACM classes: I.2.3; F.4.1
Report number: TR-2002-28, Leibniz Center for Research in Computer Science, Hebrew University, revised August 2002
Cite as: arXiv:cs/0205079 [cs.AI]
  (or arXiv:cs/0205079v2 [cs.AI] for this version)
  https://doi.org/10.48550/arXiv.cs/0205079

Submission history

From: Daniel Lehmann [view email]
[v1] Fri, 31 May 2002 10:09:47 UTC (14 KB)
[v2] Fri, 2 Aug 2002 10:04:30 UTC (14 KB)
Full-text links:

Access Paper:

view license
Current browse context:
cs.AI
< prev   |   next >
new | recent | 2002-05

References & Citations

DBLP - CS Bibliography

listing | bibtex
Daniel J. Lehmann
Daniel Lehmann
export BibTeX citation

Bookmark

BibSonomy logo Reddit logo

Bibliographic and Citation Tools

Bibliographic Explorer (What is the Explorer?)
Connected Papers (What is Connected Papers?)
Litmaps (What is Litmaps?)
scite Smart Citations (What are Smart Citations?)

Code, Data and Media Associated with this Article

alphaXiv (What is alphaXiv?)
CatalyzeX Code Finder for Papers (What is CatalyzeX?)
DagsHub (What is DagsHub?)
Gotit.pub (What is GotitPub?)
Hugging Face (What is Huggingface?)
Papers with Code (What is Papers with Code?)
ScienceCast (What is ScienceCast?)

Demos

Replicate (What is Replicate?)
Hugging Face Spaces (What is Spaces?)
TXYZ.AI (What is TXYZ.AI?)

Recommenders and Search Tools

Influence Flower (What are Influence Flowers?)
CORE Recommender (What is CORE?)

arXivLabs: experimental projects with community collaborators

arXivLabs is a framework that allows collaborators to develop and share new arXiv features directly on our website.

Both individuals and organizations that work with arXivLabs have embraced and accepted our values of openness, community, excellence, and user data privacy. arXiv is committed to these values and only works with partners that adhere to them.

Have an idea for a project that will add value for arXiv's community? Learn more about arXivLabs.

Which authors of this paper are endorsers? | Disable MathJax (What is MathJax?)