The following pages link to (Q5111310):
Displaying 5 items.
- A formalisation of consistent consequence for Boolean equation systems (Q1687766) (← links)
- Expanding \(\text{FL}_{ew}\) with a Boolean connective (Q1699735) (← links)
- Extensionalism and induction in Boole (Q2838262) (← links)
- (Q4718919) (← links)
- Boolean negation and non-conservativity II: The variable-sharing property (Q5020360) (← links)