The following pages link to Steve Giambrone (Q579233):
Displaying 37 items.
- Four relevant Gentzen systems (Q579235) (← links)
- Modularity and relevant logic (Q584243) (← links)
- Completeness and conservative extension results for some Boolean relevant logics (Q908897) (← links)
- R\(\urcorner\)-algebras and R\(\urcorner\)-model structures as power constructs (Q909651) (← links)
- A content semantics for quantified relevant logics. II (Q910392) (← links)
- Sets as singularities in the intensional universe (Q911577) (← links)
- On purported Gentzen formulations of two positive relevant logics (Q1071751) (← links)
- Where gamma fails (Q1071752) (← links)
- \(TW_+\) and \(RW_+\) are decidable (Q1072541) (← links)
- Reply to Burgess and to Read (Q1086226) (← links)
- Sentential constants in R and \(R^{\neg}\) (Q1092033) (← links)
- (Q1104917) (redirect page) (← links)
- Survey of generalizations of Urquhart semantics (Q1104918) (← links)
- Relevance and disjunctive syllogism (Q1107517) (← links)
- Operational semantics for positive R (Q1115417) (← links)
- A content semantics for quantified relevant logics. I (Q1116940) (← links)
- (Q1187980) (redirect page) (← links)
- Körner's criterion of relevance and analytic tableaux (Q1187981) (← links)
- Simplified semantics for basic relevant logics (Q1187984) (← links)
- Semantics for relevance logic with identity (Q1194104) (← links)
- The Dirac operator on homogeneous spaces and its spectrum on 3- dimensional lens spaces (Q1203541) (← links)
- Real reduced models for relevant logics without WI (Q1203773) (← links)
- Rules in relevant logic. I: Semantic classification (Q1319263) (← links)
- Rules in relevant logic. II: Formula representation (Q1319363) (← links)
- On purely relevant logics (Q1820761) (← links)
- Gentzenization and decidability of some contraction-less relevant logics (Q2277247) (← links)
- Further Results on Proof Theories For Semilattice Logics (Q3030795) (← links)
- (Q3470457) (← links)
- (Q3674619) (← links)
- (Q3728879) (← links)
- Proof Theories for Semilattice Logics (Q3751556) (← links)
- A contractionless semilattice semantics (Q3762287) (← links)
- (Q3861349) (← links)
- (Q3939779) (← links)
- (Q4025002) (← links)
- Solution to a problem of Ono and Komori (Q5903941) (← links)
- Solution to a problem of Ono and Komori (Q5966494) (← links)
