Pages that link to "Item:Q1072540"

The following pages link to DFC-algorithms for Suszko logic and one-to-one Gentzen type formalizations (Q1072540):

Displaying 2 items.

• Sequent calculi for \(\mathsf{SCI}\) (Q1653652) (← links)
• Tableau-based decision procedure for non-Fregean logic of sentential identity (Q2055842) (← links)