Pages that link to "Item:Q647411"

The following pages link to Leibniz-linked pairs of deductive systems (Q647411):

Displaying 3 items.

• The strong version of a sentential logic (Q1680515) (← links)
• COMPATIBILITY OPERATORS IN ABSTRACT ALGEBRAIC LOGIC (Q3188323) (← links)
• Categorical Abstract Algebraic Logic: Compatibility Operators and Correspondence Theorems (Q4586425) (← links)