Inconsistency lemmas in algebraic logic (Q5396222): Difference between revisions
From MaRDI portal
Set OpenAlex properties. |
Created claim: Wikidata QID (P12): Q124849890, #quickstatements; #temporary_batch_1711234560214 |
||
Property / Wikidata QID | |||
Property / Wikidata QID: Q124849890 / rank | |||
Normal rank |
Revision as of 02:14, 24 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