Hostname: page-component-cd9895bd7-8ctnn Total loading time: 0 Render date: 2024-12-23T23:01:45.526Z Has data issue: false hasContentIssue false
  • English
  • Français

Certain Method for Generating a Series of Logics

Published online by Cambridge University Press:  22 January 2016

Satoshi Miura  and
Shûrô Nagata
Satoshi Miura
Affiliation:
Toyota Technical College and Mathematical Institute, Nagoya University
Shûrô Nagata
Affiliation:
Toyota Technical College and Mathematical Institute, Nagoya University
Rights & Permissions [Opens in a new window]

Extract

Core share and HTML view are not available for this content. However, as you have access to this content, a full PDF is available via the ‘Save PDF’ action button.

At first, we define three relations ⊇, =, and ⊃ in connection with a pair of logics L and L* as follows:

  • L ⊇ L*, if and only if every proposition provable in L* is also provable in L;

  • L = L*, if and only if L ⊇ L* and L* ⊇ L;

  • L ⊃ L*, if and only if L, ⊇ L* but not L* ⊇ L.

Type
Research Article
Information
Nagoya Mathematical Journal , Volume 31 , January 1968 , pp. 125 - 129
Copyright
Copyright © Editorial Board of Nagoya Mathematical Journal 1968

References

[1] Curry, H.B., Foundations of mathematical logic (1963), New York.Google Scholar
[2] Gödel, K., Zum intuitionistischen Aussagenkalkiil, Akad. Wiss. Anzeiger, vol. 69 (1932), 65–66.Google Scholar
[3] Miura, S., A remark on the intersection of two logics, Nagoya Math. J., vol. 26 (1966), 167–171.Google Scholar
[4] Nagata, S., A series of successive modifications of Peirce’s rule, Proc. Japan Acad., vol. 42 (1966), 859–861.Google Scholar
[5] Nishimura, I., On formulas of one variable in intuitionistic propositional calculus, J. Symb. Logic, vol. 25 (1960), 327–331.Google Scholar
[6] Ono, K., On universal character of the primitive logic, Nagoya Math. J., vol. 27-1 (1966), 331–353.Google Scholar
[7] Ono, K., A certain kind of formal theories, Nagoya Math. J., vol. 25 (1965), 59–86.Google Scholar
[8] Umezawa, T., Über die zwischensysteme der Aussagenlogik, Nagoya Math. J., vol. 9 (1955), 181–189.Google Scholar
[9] Umezawa, T., On intermediate propositional logics, J. Symb. Logic, vol. 24 (1959), 20–36.Google Scholar
[10] Umezawa, T., On logics intermediate between intuitionistic and classical predicate logic, J. Symb. Logic, vol. 24 (1959), 141–153.Google Scholar