Pages that link to "Item:Q3647282"
From MaRDI portal
The following pages link to Rasiowa-Sikorski proof system for the non-Fregean sentential logic SCI ★ (Q3647282):
Displayed 4 items.
- Sequent calculi for \(\mathsf{SCI}\) (Q1653652) (← links)
- Tableau-based decision procedure for non-Fregean logic of sentential identity (Q2055842) (← links)
- Natural deduction systems for intuitionistic logic with identity (Q2106875) (← links)
- Number of non-Fregean sentential logics that have adequate models (Q3419665) (← links)