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

DOI10.1007/978-3-031-15298-6_11arXiv2205.05995MaRDI QIDQ6160742

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

Kripke semanticsintuitionistic predicate logicpropositional connectivethe logic of constant domains

Mathematics Subject Classification ID

Logic in computer science (03B70)

Cites Work

• Unnamed Item
• Semantical investigations in Heyting's intuitionistic logic
• Effect of the choice of connectives on the relation between classical logic and intuitionistic logic
• Deriving Natural Deduction Rules from Truth Tables
• Sequents in many valued logic II

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