The strong version of a sentential logic (Q1680515)
From MaRDI portal
| This is the item page for this Wikibase entity, intended for internal use and editing purposes. Please use this page instead for the normal view: The strong version of a sentential logic |
scientific article; zbMATH DE number 6807533
| Language | Label | Description | Also known as |
|---|---|---|---|
| English | The strong version of a sentential logic |
scientific article; zbMATH DE number 6807533 |
Statements
The strong version of a sentential logic (English)
0 references
16 November 2017
0 references
Leibniz operator
0 references
Suszko operator
0 references
protoalgebraic logic
0 references
truth-equational logic
0 references
strong version
0 references
non protoalgebraic logic
0 references
abstract algebraic logic
0 references
0 references
0 references
0.8889749
0 references
0.8856321
0 references
0 references
0 references
0.8743313
0 references
0.87348664
0 references