The following pages link to (Q3567769):
Displaying 6 items.
- Schönfinkel-type operators for classical logic (Q993497) (← links)
- A constructivism based on classical truth (Q1117222) (← links)
- Truthlike and truthful operators (Q2754652) (← links)
- Adding the everywhere operator to propositional logic (Q4399516) (← links)
- (Q4789154) (← links)
- The Suszko operator relative to truth‐equational logics (Q6047682) (← links)