Inconsistency lemmas in algebraic logic (Q5396222): Difference between revisions
From MaRDI portal
Changed an Item |
Set profile property. |
||
Property / MaRDI profile type | |||
Property / MaRDI profile type: MaRDI publication profile / rank | |||
Normal rank |
Revision as of 21:10, 5 March 2024
scientific article; zbMATH DE number 6255546
Language | Label | Description | Also known as |
---|---|---|---|
English | Inconsistency lemmas in algebraic logic |
scientific article; zbMATH DE number 6255546 |
Statements
Inconsistency lemmas in algebraic logic (English)
0 references
5 February 2014
0 references
deductive system
0 references
inconsistency lemma
0 references
protoalgebraic logic
0 references
deduction-detachment theorem
0 references
algebraizable logic
0 references
pseudo-complement
0 references
filtral variety
0 references