Pages that link to "Item:Q1217692"

The following pages link to A note on deduction theorem for Gödel's propositional calculus G4 (Q1217692):

Displaying 2 items.

• The deducibilities of S5 (Q1159660) (← links)
• The parameterized local deduction theorem for quasivarieties of algebras and its application (Q1918964) (← links)