Stanislaw J. Surma

Available identifiers

zbMath Open surma.stanislaw-jMaRDI QIDQ1217698

List of research outcomes

Publication	Date of Publication	Type
https://portal.mardi4nfdi.de/entity/Q2702290	2001-07-05	Paper
https://portal.mardi4nfdi.de/entity/Q3037385	1982-01-01	Paper
https://portal.mardi4nfdi.de/entity/Q3340833	1982-01-01	Paper
https://portal.mardi4nfdi.de/entity/Q3680816	1981-01-01	Paper
https://portal.mardi4nfdi.de/entity/Q3343958	1980-01-01	Paper
https://portal.mardi4nfdi.de/entity/Q3208616	1977-01-01	Paper
On Jaskowski-type semantics for the intuitionistic propositional logic	1975-01-01	Paper
https://portal.mardi4nfdi.de/entity/Q4068721	1975-01-01	Paper
https://portal.mardi4nfdi.de/entity/Q4073368	1974-01-01	Paper
https://portal.mardi4nfdi.de/entity/Q4766974	1974-01-01	Paper
A note on indirect deduction theorems valid in Lukasiewicz's finitely- valued propositional calculi	1973-01-01	Paper
The deduction theorems valid in certain fragments of the Lewis' system S2 and the system T of Feys-von Wright	1973-01-01	Paper
https://portal.mardi4nfdi.de/entity/Q4404853	1973-01-01	Paper
https://portal.mardi4nfdi.de/entity/Q5659513	1969-01-01	Paper
Theorems on deduction for descending implications	1968-01-01	Paper
Four studies in metamathematics	1968-01-01	Paper
Indirect-deduction theorems	1967-01-01	Paper
https://portal.mardi4nfdi.de/entity/Q5678824	1967-01-01	Paper

Research outcomes over time

Doctoral students

No records found.

Known relations from the MaRDI Knowledge Graph

Property	Value
MaRDI profile type	MaRDI person profile
instance of	human

This page was built for person: Stanislaw J. Surma