Stanisław J. Surma

Available identifiers

zbMath Open surma.stanislaw-jMaRDI QIDQ1217698

List of research outcomes

Publication	Date of Publication	Type
From closure-operatic deductive methodology to non-standard alternatives	2001-07-05	Paper
https://portal.mardi4nfdi.de/entity/Q3340833	1982-01-01	Paper
https://portal.mardi4nfdi.de/entity/Q3037385	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
The deduction theorems valid in certain fragments of the Lewis' system S2 and the system T of Feys-von Wright	1973-01-01	Paper
A note on indirect deduction theorems valid in Lukasiewicz's finitely- valued propositional calculi	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

This page was built for person: Stanisław J. Surma