Categorical Abstract Algebraic Logic: Compatibility Operators and Correspondence Theorems (Q4586425)
From MaRDI portal
scientific article; zbMATH DE number 6935929
Language | Label | Description | Also known as |
---|---|---|---|
English | Categorical Abstract Algebraic Logic: Compatibility Operators and Correspondence Theorems |
scientific article; zbMATH DE number 6935929 |
Statements
Categorical Abstract Algebraic Logic: Compatibility Operators and Correspondence Theorems (English)
0 references
13 September 2018
0 references
Leibniz operator
0 references
Tarski operator
0 references
Suszko operator
0 references
logical matrix
0 references
full model
0 references
reduced model
0 references
Leibniz filter
0 references
protoalgebraic logic
0 references
equivalential logic
0 references
algebraizable logic
0 references