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):
Displaying 6 items.
- Non-Fregean propositional logic with quantifiers (Q286706) (← links)
- Sequent calculi for \(\mathsf{SCI}\) (Q1653652) (← links)
- Rasiowa-Sikorski deduction systems in computer science applications. (Q1853457) (← 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)