Advertisement

Studia Logica

, Volume 52, Issue 1, pp 41–62 | Cite as

The simple substitution property of the intermediate propositional logics on finite slices

  • Katsumi Sasaki
Article

Abstract

The simple substitution property provides a systematic and easy method for proving a theorem by an axiomatic way. The notion of the property was introduced in Hosoi [4] but without a definite name and he showed three examples of the axioms with the property. Later, the property was given it's name as above in Sasaki [7].

Our main result here is that the necessary and sufficient condition for a logicL on a finite slice to have the simple substitution property is thatL is finite. Here the necessity part is essentially new, for the sufficiency part has been proved in Hosoi and Sasaki [5]. Also the proof of sufficiency part is improved here.

For logics on the ω-th slice, the condition for them to have the simple substitution property is not yet known.

We abbreviate the simple substitution property asSSP.

Keywords

Mathematical Logic Computational Linguistic Propositional Logic Easy Method Simple Substitution 
These keywords were added by machine and not by the authors. This process is experimental and the keywords may be updated as the learning algorithm improves.

Preview

Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.

References

  1. [1]
    G. Genzen, Untersuchungen über das logische Schlissen,Mathematische Zeitschrift 39 (1934/35) pp. 176–210, 405 – 431.Google Scholar
  2. [2]
    T. Hosoi On the axiomatic method and the algebraic method for dealing with propositional logics,Journal of Faculty of Science, University of Tokyo, Sec. I, 14 (1967), pp. 131–169.Google Scholar
  3. [3]
    T. Hosoi On intermediate logics I, Journal of Faculty of Science, University of Tokyo, Sec. I, 14 (1967), pp. 293–312.Google Scholar
  4. [4]
    T. Hosoi Pseudo two-valuded evaluation method for intermediate logics,Studia Logica 45 (1986), pp. 3–8.Google Scholar
  5. [5]
    T. Hosoi andK. Sasaki,Finite Logics and the simple substitution property,Bulletin of the Section of Logic 19 (1990), pp. 74–78.Google Scholar
  6. [6]
    L. L. Maksimowa Pretabular superintuitionistic logics,Algebra and Logic 11 (1972), pp. 558–570.Google Scholar
  7. [7]
    K. Sasaki,The simple substitution property of the intermediate propositional logics,Bulletin of the Section of Logic 18 (1989), pp. 94–99.Google Scholar
  8. [8]
    K. Sasaki, The simple substitution property of Gödel's intermediate propositional logics Sn's,Studia Logica 46 (1987), pp. 47–57.Google Scholar

Copyright information

© Kluwer Academic Publishers 1993

Authors and Affiliations

  • Katsumi Sasaki
    • 1
  1. 1.Department of Information SciencesScience University of TokyoNoda City, ChibaJapan

Personalised recommendations