Pages that link to "Item:Q6047682"
From MaRDI portal
The following pages link to The Suszko operator relative to truth‐equational logics (Q6047682):
Displaying 4 items.
- The Suslin operator in applicative theories: its proof-theoretic analysis via ordinal theories (Q639666) (← links)
- Schönfinkel-type operators for classical logic (Q993497) (← links)
- Characterizing equivalential and algebraizable logics by the Leibniz operator (Q1357379) (← links)
- (Q3567769) (← links)