Pages that link to "Item:Q3647238"
From MaRDI portal
The following pages link to Intuitionistic Socratic procedures (Q3647238):
Displaying 6 items.
- Socratic trees (Q383562) (← links)
- Admissibility and refutation: some characterisations of intermediate logics (Q481867) (← links)
- Dual erotetic calculi and the minimal \(\mathsf{LFI}\) (Q897482) (← links)
- Socratic proofs (Q1876085) (← links)
- Answering by Means of Questions in View of Inferential Erotetic Logic (Q3295794) (← links)
- Intuitionistic Decision Procedures Since Gentzen (Q3305556) (← links)