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
Proof Theories for Semilattice Logics	1987-01-01	Paper
A contractionless semilattice semantics	1987-01-01	Paper
Four relevant Gentzen systems	1987-01-01	Paper
\(TW_+\) and \(RW_+\) are decidable	1985-01-01	Paper
On purported Gentzen formulations of two positive relevant logics	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

This page was built for person: Steve Giambrone