The simple substitution property of Gödel's intermediate propositional logics \(S_ n\)'s

DOI10.1007/BF00370159zbMath0745.03023OpenAlexW2065608775MaRDI QIDQ1814180

Katsumi Sasaki

Publication date: 25 June 1992

Published in: Studia Logica (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1007/bf00370159

zbMATH Keywords

axiomatizationintermediate logicssimple substitution propertyGödel's \(n\)-valued logics S\(_ n\)

Mathematics Subject Classification ID

Intermediate logics (03B55)

Related Items (7)

For Want of an ‘And’: A Puzzle about Non-Conservative Extension ⋮ BOUNDED-ANALYTIC SEQUENT CALCULI AND EMBEDDINGS FOR HYPERSEQUENT LOGICS ⋮ $\varphi $-transformations on a $K$-contact Riemannian manifold ⋮ Some system of differential equations on Riemannian manifolds and its applications to contact structures ⋮ Invariant submanifolds in a Sasakian manifold ⋮ An example of an odd dimensional positively pinched Riemannian manifold ⋮ Killing vectors on contact Riemannian manifolds and fiberings related to the Hopf fibration

Cites Work

• Unnamed Item
• Unnamed Item
• Pseudo two-valued evaluation method for intermediate logics
• Untersuchungen über das logische Schliessen. I
• A propositional calculus with denumerable matrix
• On formulas of one variable in intuitionistic propositional calculus
• On intermediate propositional logics

This page was built for publication: The simple substitution property of Gödel's intermediate propositional logics \(S_ n\)'s