Pages that link to "Item:Q5126198"
From MaRDI portal
The following pages link to An Investigation into Intuitionistic Logic with Identity (Q5126198):
Displaying 8 items.
- Logics that are generated by idempotents (Q1888628) (← links)
- Tableau-based decision procedure for non-Fregean logic of sentential identity (Q2055842) (← links)
- Natural deduction systems for intuitionistic logic with identity (Q2106875) (← links)
- A propositional logic with relative identity connective and a partial solution to the paradox of analysis (Q2642522) (← links)
- (Q3688375) (← links)
- (Q4395211) (← links)
- (Q4428889) (← links)
- Decidability of intuitionistic sentential logic with identity via sequent calculus (Q6659904) (← links)