DeepAI AI Chat
Log In Sign Up

Connectives in Quantum and other Cumulative Logics

by   Daniel Lehmann, et al.
Hebrew University of Jerusalem

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.


page 1

page 2

page 3

page 4


FMLtoHOL (version 1.0): Automating First-order Modal Logics with LEO-II and Friends

A converter from first-order modal logics to classical higher- order log...

Topological semantics for paraconsistent and paracomplete logics in Isabelle/HOL

We encode a topological semantics for paraconsistent and paracomplete lo...

A flexible framework for defeasible logics

Logics for knowledge representation suffer from over-specialization: whi...

Nonmonotonic Reasoning, Preferential Models and Cumulative Logics

Many systems that exhibit nonmonotonic behavior have been described and ...

Elementary Multimodal Logics

We study multimodal logics over universally first-order definable classe...

Explanatory relations in arbitrary logics based on satisfaction systems, cutting and retraction

The aim of this paper is to introduce a new framework for defining abduc...

A Note on Digitization of Real-Time Models and Logics

Digitization provides a sound and complete method to reduce the problem ...