On formulas in which no individual variable occurs more than twice

Journal of Symbolic Logic 31 (1):1-6 (1966)
  Copy   BIBTEX

Abstract

This article has no associated abstract. (fix it)

Categories

Keywords

Reprint years

DOI

10.2307/2270615

Links

PhilArchive



    Upload a copy of this work     Papers currently archived: 91,219

External links

Setup an account with your affiliations in order to access resources via your University's proxy server

Through your library

My notes

Similar books and articles

Relation algebras from cylindric algebras, II.Robin Hirsch & Ian Hodkinson - 2001 - Annals of Pure and Applied Logic 112 (2-3):267-297.
Possible world semantics for first order lp.Melvin Fitting - unknown
All intermediate logics with extra axioms in one variable, except eight, are not strongly ω-complete.Camillo Fiorentini - 2000 - Journal of Symbolic Logic 65 (4):1576-1604.
The Translation of First Order Logic into Modal Predicate Logic.Beomin Kim - 2008 - Proceedings of the Xxii World Congress of Philosophy 13:65-69.
The necessity of modal logic S5 is metalogical.Zdzislaw Dywan - 1981 - Bulletin of the Section of Logic 10 (4):162-167.
Forgiveness by God and Human Forgivingness: The Centrality of the Religiosity Makes the Difference.S. Huber, M. Allemand & O. W. Huber - 2011 - Archive for the Psychology of Religion 33 (1):115-134.
Two variable implicational calculi of prescribed many-one degrees of unsolvability.Charles E. Hughes - 1976 - Journal of Symbolic Logic 41 (1):39-44.
Relatives of the Russell Paradox.Kees Doets - 1999 - Mathematical Logic Quarterly 45 (1):73-83.
The consequence relation of tautological entailment is maximally relevant: Answering a question of Graham Priest.Lloyd Humberstone - manuscript
On formulas in one variable in NEXT (KTB).Zofia Kostrzycka - 2006 - Bulletin of the Section of Logic 35 (2/3):119-131.
Single variable formulas in S4→.Michael Byrd - 1976 - Journal of Philosophical Logic 5 (4):439-456.
Slupecki's fragmentary systems.Grzegorz Bryll & Katarzyna Halkowska - 1984 - Bulletin of the Section of Logic 13 (4):252-254.
An application of the Rieger-Nishimura formulas to the intuitionistic modal logics.Dimiter Vakarelov - 1984 - Bulletin of the Section of Logic 13 (3):120-122.
On formulas of one variable in intuitionistic propositional calculus.Iwao Nishimura - 1960 - Journal of Symbolic Logic 25 (4):327-331.
Variations Of Core Semantic Techniques And Their Methodological Import.Kristjo Vakarelov - 1984 - Bulletin of the Section of Logic 13 (3):137-141.

Analytics

Added to PP
2009-01-28

Downloads
32 (#473,773)

6 months
4 (#698,851)

Historical graph of downloads
How can I increase my downloads?

Citations of this work

Add more citations

References found in this work

Über Tautologien, in Welchen Keine Variable Mehr Als Zweimal Vorkommt.S. Jaśkowski - 1963 - Mathematical Logic Quarterly 9 (12‐15):219-228.
Über Tautologien, in Welchen Keine Variable Mehr Als Zweimal Vorkommt.S. Jaśkowski - 1963 - Zeitschrift fur mathematische Logik und Grundlagen der Mathematik 9 (12-15):219-228.

Add more references