The following pages link to Pierluigi Minari (Q377467):
Displayed 21 items.
- Labeled sequent calculi for modal logics and implicit contractions (Q377468) (← links)
- Analytic proof systems for \(\lambda\)-calculus: the elimination of transitivity, and why it matters (Q884953) (← links)
- A solution to Curry and Hindley's problem on combinatory strong reduction (Q1014284) (← links)
- Completeness theorems for some intermediate predicate calculi (Q1061734) (← links)
- Intermediate logics with the same disjunctionless fragment as intuitionistic logic (Q1096618) (← links)
- Theories of types and names with positive stratified comprehension (Q1288964) (← links)
- On the extension of intuitionistic propositional logic with Kreisel- Putnam's and Scott's schemes (Q1820767) (← links)
- Analytic combinatory calculi and the elimination of transitivity (Q1879319) (← links)
- Oskar Becker and the modal translation of intuitionistic logic (Q2094160) (← links)
- Quasilinear Posets and some Subsystems Of Dummett's LC (Q3030796) (← links)
- (Q3039318) (← links)
- Some Remarks on the Proof-Theory and the Semantics of Infinitary Modal Logic (Q3305558) (← links)
- Analytic Equational Proof Systems for Combinatory Logic and λ-Calculus:A Survey (Q3305634) (← links)
- (Q3472080) (← links)
- (Q3753997) (← links)
- A Note on a Subsystem Of Intuitionistic Logic with Constant Domains (Q3787971) (← links)
- (Q3801548) (← links)
- On the Semantics of Comparative Logic (Q3812207) (← links)
- Intermediate predicate logics determined by ordinals (Q3970346) (← links)
- Uniform inseparability in explicit mathematics (Q4254638) (← links)
- Oskar Becker, On the Logic of Modalities (1930): Translation, Commentary and Analysis (Q5159271) (← links)