scientific article; zbMATH DE number 1836057

zbMath1008.03014MaRDI QIDQ4779595

Mihir Kumar Chakraborty, Jayanta Sen

Publication date: 27 November 2002

Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.

zbMATH Keywords

rough setslinear logicsequent calculiŁukasiewicz logicWajsberg algebraspre-rough algebrastopological quasi-Boolean algebraspre-rough logic

Mathematics Subject Classification ID

Cut-elimination and normal-form theorems (03F05) Other algebras related to logic (03G25) Many-valued logic (03B50) Proof-theoretic aspects of linear logic and other substructural logics (03F52)

Related Items

Algebraic structures in the vicinity of pre-rough algebra and their logics. II, An implication based study on Łukasiewicz (Monteiro) 3-valued algebra and pre-rough algebra, Algebraic structures in the vicinity of pre-rough algebra and their logics, Three-Valued Logic for Reasoning about Covering-Based Rough Sets