Intuitionistic axiomatizations for bounded extension Kripke models.

DOI10.1016/S0168-0072(03)00058-7zbMath1040.03044DBLPjournals/apal/ArdeshirRS03WikidataQ57533073 ScholiaQ57533073MaRDI QIDQ1412839

Mohammad Ardeshir, Saeed Salehi, Wim Ruitenburg

Publication date: 25 November 2003

Published in: Annals of Pure and Applied Logic (Search for Journal in Brave)

zbMATH Keywords

Heyting arithmeticintuitionistic logicKripke modelstrong completenesscofinal extensionconstant domainend-extension

Mathematics Subject Classification ID

First-order arithmetic and fragments (03F30) Models of arithmetic and set theory (03C62) Metamathematics of constructive systems (03F50) Nonclassical models (Boolean-valued, sheaf, etc.) (03C90) Subsystems of classical logic (including intuitionistic logic) (03B20) Intuitionistic mathematics (03F55)

Related Items (2)

Completeness of intermediate logics with doubly negated axioms ⋮ Not all Kripke models of \(\mathsf{HA}\) are locally \(\mathsf{PA}\)

Cites Work

• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Intuitionistic validity in \(T\)-normal Kripke structures
• Constructivism in mathematics. An introduction. Volume I
• Classical and intuitionistic models of arithmetic
• A logic stronger than intuitionism
• Ein Henkin-Beweis für die Vollständigkeit eines Kalküls relativ zur Grzegorczyk-Semantik

This page was built for publication: Intuitionistic axiomatizations for bounded extension Kripke models.