Pages that link to "Item:Q1337604"

The following pages link to Syntactical investigations into \(BI\) logic and \(BB^ \prime I\) logic (Q1337604):

Displaying 3 items.

• A lambda proof of the P-W theorem (Q2710612) (← links)
• ASSERTIONALLY EQUIVALENT QUASIVARIETIES (Q3519801) (← links)
• ON EQUATIONAL COMPLETENESS THEOREMS (Q5052010) (← links)