Pages that link to "Item:Q1412839"

The following pages link to Intuitionistic axiomatizations for bounded extension Kripke models. (Q1412839):

Displaying 2 items.

• Not all Kripke models of \(\mathsf{HA}\) are locally \(\mathsf{PA}\) (Q2074812) (← links)
• Completeness of intermediate logics with doubly negated axioms (Q5404158) (← links)