Pages that link to "Item:Q1814180"
From MaRDI portal
The following pages link to The simple substitution property of Gödel's intermediate propositional logics \(S_ n\)'s (Q1814180):
Displaying 7 items.
- Some system of differential equations on Riemannian manifolds and its applications to contact structures (Q1232833) (← 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)
- BOUNDED-ANALYTIC SEQUENT CALCULI AND EMBEDDINGS FOR HYPERSEQUENT LOGICS (Q5159492) (← links)
- For Want of an ‘And’: A Puzzle about Non-Conservative Extension (Q5317773) (← links)
