Pages that link to "Item:Q5518354"

The following pages link to On logics intermediate between intuitionistic and classical predicate logic (Q5518354):

Displaying 3 items.

• A short proof of Glivenko theorems for intermediate predicate logics (Q377463) (← links)
• On the predicate logic of linear Kripke frames and some of its extensions (Q817691) (← links)
• On some intuitionistic modal logics (Q1244216) (← links)