Pages that link to "Item:Q1814180"

The following pages link to The simple substitution property of Gödel's intermediate propositional logics \(S_ n\)'s (Q1814180):

Displaying 11 items.

• On the simple substitution property for superintuitionistic and modal propositional logics (Q542292) (← links)
• The simple substitution property of the intermediate propositional logics on finite slices (Q1208115) (← links)
• Some system of differential equations on Riemannian manifolds and its applications to contact structures (Q1232833) (← links)
• On the property of simple substitution for superintuitionistic propositional logics. (Q1432372) (← links)
• Invariant submanifolds in a Sasakian manifold (Q2535642) (← links)
• An example of an odd dimensional positively pinched Riemannian manifold (Q2541182) (← links)
• Killing vectors on contact Riemannian manifolds and fiberings related to the Hopf fibration (Q2550924) (← links)
• $\varphi $-transformations on a $K$-contact Riemannian manifold (Q4119761) (← links)
• (Q4326748) (← links)
• BOUNDED-ANALYTIC SEQUENT CALCULI AND EMBEDDINGS FOR HYPERSEQUENT LOGICS (Q5159492) (← links)
• For Want of an ‘And’: A Puzzle about Non-Conservative Extension (Q5317773) (← links)