Get started
Author

Stanisŀaw J. Surma

Observed names: S. J. Surma, Stanislaw J. Surma, Stanisŀaw Surma, Stanisław J. Surma, Stanisław Surma, stanisław j. surma, С. Сурма
ORCID: 0000-0002-5818-9665
Observed ORCID: 0000-0002-5818-9665
OpenAlex ID: A5048688296
an algorithm for axiomatizing every finite logic**The paper was presented at the International Symposium on Multiple-Valued Logic, Morgantown, West Virginia, U.S.A., May, 1974. An abstract of this paper is published in [3].
1977 · stanisław j. surma · Elsevier eBooks · 32
The Growth of Logic Out of the Foundational Research in Mathematics
1981 · Stanislaw J. Surma · Springer eBooks · 16
Review: J. H. Woodger, Alfred Tarski, Logic, semantics, metamathematics, papers from 1923 to 1938
1969 · Witold Pogorzelski, Stanisław J. Surma · Project Euclid (Cornell University) · 16
Studies in the history of mathematical logic
1973 · Stanisław J. Surma, Instytut Filozofii i Socjologii · Medical Entomology and Zoology · 12
On the Work and Influence of Stanisłw Leśniewski
1977 · Stanislaw J. Surma · Studies in logic and the foundations of mathematics · 5
On Jaśkowski-type semantics for the intuitionistic propositional logic
1975 · Stanisław J. Surma, Andrzej Wroński, et al. · Studia Logica · 5
The deduction theorems valid in certain fragments of the Lewis' system S2 and the system T of Feys-von Wright
1973 · Stanisŀaw J. Surma · Studia Logica · 4
Twierdzenia o dedukcji niewprost
1967 · Stanisław J. Surma · Studia Logica · 4
Twierdzenia o dedukcji dla implikacji zstępujących
1968 · Stanisław J. Surma · Studia Logica · 3
The Logical Work of Mordchaj Wajsberg
1987 · Stanisław J. Surma · Springer eBooks · 2
Deduction Theorem
1981 · S. J. Surma · Springer eBooks · 2
From Closure-Operatic Deductive Methodology to Non-Standard Alternatives
1998 · Stanisław J. Surma · Springer eBooks · 1
On a Sequence of Contradiction-Tolerating Logics
1993 · S. J. Surma · Springer eBooks · 1
Nota w sprawie twierdzeń o dedukcji nie wprost ważnych w skończenie wielowartościowych rachunkach zdań Ŀukasiewicza
1973 · Stanisŀaw J. Surma · Studia Logica · 1
Cztery studia z metamatematyki
1968 · Stanisław J. Surma · Studia Logica · 1
Theorems on deduction for descending implications
1968 · S. J. Surma · Studia Logica · 1
Contributors
2024 · Abdullahi Tunde Aborode, Ahmed S. Abouhashem, et al. · Elsevier eBooks
A generalisation of the Tarski-Herbrand deduction theorem
1991 · Stanisław J. Surma · Logique et analyse/Logique et analyse. Nouvelle série
Conference on Stanisław Leśniewski's Achievement
1977 · Stanisław J. Surma · Studia Logica
Reviews
1974 · Stanisław J. Surma, Ewa Orłowska, et al. · Studia Logica
A note on indirect deduction theorems valid in Łukasiewicz's finitely-valued propositional calculi
1973 · S. J. Surma · Studia Logica
Twierdzenia o dedukcji ważne w pewnych fragmentach systemów S2 Lewisa i T Feysa-von Wrighta
1973 · S. J. Surma · Studia Logica
Теоремы дедукции справедливые в некоторых фрагментах систем S2 люиса и Т Фейса-фон Вригхта
1973 · С. Сурма · Studia Logica
Заметка по поводу теорем дедукции от противного справедливых в конечнозначных лукасевичевых исчислениях высказываний
1973 · С. Сурма · Studia Logica
Four studies in metamathematics
1968 · Stanisław J. Surma · Studia Logica
Works count: 30
Citation count: 106
H-index: 5
I10-index: 4
Year
Topic
Type