What kinds of connectives cause the difference between intuitionistic predicate logic and the logic of constant domains?

DOI10.1007/978-3-031-15298-6_11MaRDI QIDQ6160742zbMATH OpenFDO

Authors Naosuke Matsuda, Kento Takagi

Publication date 2 June 2023

Published in Logic, Language, Information, and Computation (Search for Journal in Brave)

Full work available at URL https://arxiv.org/abs/2205.05995

zbMATH Keywords

intuitionistic predicate logicKripke semanticspropositional connectivethe logic of constant domains

Mathematics Subject Classification ID

Logic in computer science (03B70)

Abstract: It is known that intuitionistic Kripke semantics can be generalized so that it can treat arbitrary propositional connectives characterized by truth functions. We extend this generalized Kripke semantics to first-order logic, and study how the choice of connectives changes the relation between intuitionistic predicate logic and the logic of constant domains in terms of validity of sequents. Our main result gives a simple necessary and sufficient condition for the set of valid sequents in intuitionistic predicate logic to coincide with the set of valid sequents in the logic of constant domains.

Recommendations

• Semantic characterization of intuitionistic logical connectives
• scientific article; zbMATH DE number 3997784
• Nonstandard connectives of intuitionistic propositional logic
• A Note on a Subsystem Of Intuitionistic Logic with Constant Domains
• On natural deduction for Herbrand constructive logics. III: The strange case of the intuitionistic logic of constant domains

Cites work

• Deriving natural deduction rules from truth tables
• Effect of the choice of connectives on the relation between classical logic and intuitionistic logic
• scientific article; zbMATH DE number 3222098 (Why is no real title available?)
• Semantical investigations in Heyting's intuitionistic logic
• Sequents in many valued logic II

Cited in

(1)

• Fusing Quantifiers and Connectives: Is Intuitionistic Logic Different?

This page was built for publication: What kinds of connectives cause the difference between intuitionistic predicate logic and the logic of constant domains?

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q6160742)