Hostname: page-component-8448b6f56d-dnltx Total loading time: 0 Render date: 2024-04-18T08:50:10.259Z Has data issue: false hasContentIssue false
  • English
  • Français

On formulas in which no individual variable occurs more than twice

Published online by Cambridge University Press:  12 March 2014

Stanisław Jaśkowski
Stanisław Jaśkowski*
Affiliation:
Nicolaus Copernicus University, Toruń Institute of Mathematics of the Polish Academy of Science
Get access Rights & Permissions [Opens in a new window]

Extract

In Jaśkowski [1], some properties of the consequences of formulas of the sentential calculus with no more than two occurrences of any variable have been settled. Analogous problems may be raised concerning the consequences of equalities in which the same restriction relates to individual variables. In the present paper, problems of this kind are solved and more general theorems are proved about the logical consequences of some formulas, called here multiconditionals.

Type
Research Article
Information
The Journal of Symbolic Logic , Volume 31 , Issue 1 , March 1966 , pp. 1 - 6
Copyright
Copyright © Association for Symbolic Logic 1996

Access options

Get access to the full version of this content by using one of the access options below. (Log in options will check for institutional or personal access. Content may require purchase if you do not have access.)

References

[1]Jaśkowski, S., Über Tautologien, in welchen keine Variable mehr als zweimal vorkommt, Zeitschrift für mathematische Logik und Grundlagen der Mathematik, vol. 9 (1963), pp. 219–228.CrossRefGoogle Scholar
[2]Tarski, A., Über einige fundamentale Begriffe der MetaMathematik, Comptes rendus des séances de la Société des Sciences et des Lettres de Varsovie, vol. 23 (1930), pp. 22–29.Google Scholar
[3]Tarski, A., Fundamentale Begriffe der Metodologie der deduktiven Wissenschaften. I, Monatshefte für Mathematik und Physik, vol. 37 (1930), pp. 361–404.CrossRefGoogle Scholar