Proper multi-type display calculi for rough algebras

DOI10.1016/J.ENTCS.2019.07.007MaRDI QIDQ2333670zbMATH OpenOpenAlexWikidataFDO

Authors Giuseppe Greco, Fei Liang, Krishna Manoorkar, Alessandra Palmigiano

Publication date 13 November 2019

Full work available at URL https://arxiv.org/abs/1808.07278

zbMATH Keywords

canonical extensionsintermediate algebrasmulti-type calculipre-rough algebrasproper display calculirough setstopological quasi-Boolean algebrastopological quasi-Boolean algebras 5

Mathematics Subject Classification ID

Theory of fuzzy sets, etc. (03E72) Cut-elimination and normal-form theorems (03F05) Other algebras related to logic (03G25) Generalizations of Boolean algebras (06E75)

Abstract: In the present paper, we endow the logics of topological quasi Boolean algebras, topological quasi Boolean algebras 5, intermediate algebras of types 1-3, and pre-rough algebras with proper multi-type display calculi which are sound, complete, conservative, and enjoy cut elimination and subformula property. Our proposal builds on an algebraic analysis and applies the principles of the multi-type methodology in the design of display calculi.

Recommendations

• Multi-type display calculus for semi De Morgan logic
• scientific article; zbMATH DE number 1086668
• Multi-type display calculus for propositional dynamic logic
• scientific article; zbMATH DE number 1303628
• A rewrite-based type discipline for a subset of computer algebra
• Multi-type display calculus for dynamic epistemic logic
• Rough relation algebras revisited
• scientific article; zbMATH DE number 1538013
• Characterizing Rough Algebras
• scientific article; zbMATH DE number 1301758

Cites work

• A Multi-type Calculus for Inquisitive Logic
• A proof-theoretic semantic analysis of dynamic epistemic logic
• Algebraic structures in the vicinity of pre-rough algebra and their logics
• Algebraic structures in the vicinity of pre-rough algebra and their logics. II
• Algorithmic correspondence and canonicity for distributive modal logic
• Bilattice logic properly displayed
• Dynamic epistemic logic displayed
• Heterogeneous algebras
• scientific article; zbMATH DE number 994054 (Why is no real title available?)
• scientific article; zbMATH DE number 4043327 (Why is no real title available?)
• scientific article; zbMATH DE number 1748069 (Why is no real title available?)
• Lattice logic properly displayed
• Logics for rough concept analysis
• Multi-type display calculus for dynamic epistemic logic
• Multi-type display calculus for propositional dynamic logic
• Multi-type display calculus for semi De Morgan logic
• Perfect extensions of regular double Stone algebras
• Rough sets
• Sahlqvist theory for impossible worlds
• Sequent Calculi for Varieties of Topological Quasi-Boolean Algebras
• THE LOGIC OF RESOURCES AND CAPABILITIES
• Unified correspondence as a proof-theoretic tool

Cited in

(12)

• Multi-type display calculus for semi De Morgan logic
• Semi De Morgan logic properly displayed
• Toward a Dempster-Shafer theory of concepts
• Non-normal modal logics and conditional logics: semantic analysis and proof theory
• scientific article; zbMATH DE number 1836057 (Why is no real title available?)
• Syntactic Completeness of Proper Display Calculi
• Linear Logic Properly Displayed
• Rough concepts
• Algebraic proof theory for LE-logics
• Modal reduction principles: a parametric shift to graphs
• Decidability of topological quasi-Boolean algebras
• Inductive sequents for distributive modal logic

This page was built for publication: Proper multi-type display calculi for rough algebras

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q2333670)