Pages that link to "Item:Q3188323"
From MaRDI portal
The following pages link to COMPATIBILITY OPERATORS IN ABSTRACT ALGEBRAIC LOGIC (Q3188323):
Displaying 5 items.
- The strong version of a sentential logic (Q1680515) (← links)
- An algebraic view of super-Belnap logics (Q1685564) (← links)
- Assertional logics, truth-equational logics, and the hierarchies of abstract algebraic logic (Q4586412) (← links)
- Categorical Abstract Algebraic Logic: Compatibility Operators and Correspondence Theorems (Q4586425) (← links)
- The Suszko operator relative to truth‐equational logics (Q6047682) (← links)