The following pages link to Pierangelo Miglioli (Q583192):
Displaying 28 items.
- Some results on intermediate constructive logics (Q583197) (← links)
- A constructivism based on classical truth (Q1117222) (← links)
- An infinite class of maximal intermediate propositional logics with the disjunction property (Q1204112) (← links)
- Abstract parametric classes and abstract data types defined by classical and constructive logical methods (Q1342134) (← links)
- An improved refutation system for intuitionistic predicate logic (Q1344876) (← links)
- A method to single out maximal propositional logics with the disjunction property. I (Q1902974) (← links)
- A method to single out maximal propositional logics with the disjunction property. II (Q1902977) (← links)
- On canonicity and strong completeness conditions in intermediate propositional logics (Q1970920) (← links)
- On maximal intermediate predicate constructive logics (Q2563458) (← links)
- Extracting information from intermediate semiconstructive HA-systems – extended abstract (Q2746762) (← links)
- (Q3311647) (← links)
- (Q3476793) (← links)
- (Q3669407) (← links)
- (Q3818308) (← links)
- (Q3928228) (← links)
- (Q3942386) (← links)
- (Q3973572) (← links)
- (Q4079028) (← links)
- (Q4264067) (← links)
- Counting the maximal intermediate constructive logics (Q4283073) (← links)
- Avoiding duplications in tableau systems for intuitionistic logic and Kuroda logic (Q4340932) (← links)
- Generalized tableau systems for intermediate propositional logics (Q4610314) (← links)
- (Q4699343) (← links)
- Duplication-free tableau calculi and related cut-free sequent calculi for the interpolable propositional intermediate logics (Q4700536) (← links)
- (Q4749237) (← links)
- On Uniformly Constructive and Semiconstructive Formal Systems (Q4795874) (← links)
- A cut-free sequent calculus for the logic of constant domains with a limited amount of duplications (Q4934883) (← links)
- Exhibiting Wide Families of Maximal Intermediate Propositional Logics with the Disjunction Property (Q5687414) (← links)
