Steve Giambrone

Available identifiers

zbMath Open giambrone.steveMaRDI QIDQ579233

List of research outcomes

Publication	Date of Publication	Type
Real reduced models for relevant logics without WI	1993-02-22	Paper
https://portal.mardi4nfdi.de/entity/Q4025002	1993-02-22	Paper
Completeness and conservative extension results for some Boolean relevant logics	1989-01-01	Paper
https://portal.mardi4nfdi.de/entity/Q3470457	1989-01-01	Paper
Further Results on Proof Theories For Semilattice Logics	1988-01-01	Paper
Four relevant Gentzen systems	1987-01-01	Paper
Proof Theories for Semilattice Logics	1987-01-01	Paper
A contractionless semilattice semantics	1987-01-01	Paper
On purported Gentzen formulations of two positive relevant logics	1985-01-01	Paper
\(TW_+\) and \(RW_+\) are decidable	1985-01-01	Paper
https://portal.mardi4nfdi.de/entity/Q3728879	1985-01-01	Paper
Where gamma fails	1984-01-01	Paper
https://portal.mardi4nfdi.de/entity/Q3674619	1982-01-01	Paper
https://portal.mardi4nfdi.de/entity/Q3939779	1981-01-01	Paper
https://portal.mardi4nfdi.de/entity/Q3861349	1980-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: Steve Giambrone