We gratefully acknowledge support from
the Simons Foundation and member institutions.
Full-text links:

Download:

Current browse context:

math.LO

Change to browse by:

References & Citations

Bookmark

(what is this?)
CiteULike logo BibSonomy logo Mendeley logo del.icio.us logo Digg logo Reddit logo ScienceWISE logo

Mathematics > Logic

Title: Effect of the Choice of Connectives on the Relation between the Logic of Constant Domains and Classical Predicate Logic

Abstract: It is known that not only classical semantics but also intuitionistic Kripke semantics can be generalized so that it can treat arbitrary propositional connectives characterized by truth tables, or truth functions. In our previous work, it has been shown that the set of Kripke-valid propositional sequents and that of classically valid propositional sequents coincide if and only if all available propositional connectives are monotonic. The present paper extend this result to frst-order logic showing that, in the case of predicate logic, the condition that all available propositional connectives are monotonic is a necessary and sufficient condition for the set of sequents valid in all constant domain Kripke models, not the set of Kripke-valid sequents, and the set of classically valid sequents to coincide.
Subjects: Logic (math.LO)
Cite as: arXiv:2107.03972 [math.LO]
  (or arXiv:2107.03972v1 [math.LO] for this version)

Submission history

From: Kento Takagi [view email]
[v1] Thu, 8 Jul 2021 16:57:32 GMT (27kb)

Link back to: arXiv, form interface, contact.