Pages that link to "Item:Q1337604"
From MaRDI portal
The following pages link to Syntactical investigations into \(BI\) logic and \(BB^ \prime I\) logic (Q1337604):
Displaying 7 items.
- The decidability of a fragment of \(\text{BB}'\text{IW}\)-logic (Q596035) (← links)
- The fundamental S-theorem - A corollary (Q793001) (← links)
- Self-implications in BCI (Q948761) (← links)
- A lambda proof of the P-W theorem (Q2710612) (← links)
- ASSERTIONALLY EQUIVALENT QUASIVARIETIES (Q3519801) (← links)
- Between TW and RW (Q4493032) (← links)
- ON EQUATIONAL COMPLETENESS THEOREMS (Q5052010) (← links)