Pages that link to "Item:Q1868239"
From MaRDI portal
The following pages link to A proof-theoretical analysis of semiconstructive intermediate theories (Q1868239):
Displaying 6 items.
- Proof analysis in intermediate logics (Q661286) (← links)
- (Q3970572) (← links)
- First-order theories from a constructive (''naive'') point of view: Constructive compatibility of mathematical and philosophical principles in a ''large'' deductive system (Q3973572) (← links)
- On Uniformly Constructive and Semiconstructive Formal Systems (Q4795874) (← links)
- A proof theoretic analysis of intruder theories (Q5890483) (← links)
- A Proof Theoretic Analysis of Intruder Theories (Q5902125) (← links)