Proper multi-type display calculi for rough algebras
From MaRDI portal
Publication:2333670
DOI10.1016/j.entcs.2019.07.007zbMath1434.03147arXiv1808.07278OpenAlexW2969583319WikidataQ113317458 ScholiaQ113317458MaRDI QIDQ2333670
Krishna Manoorkar, Giuseppe Greco, Alessandra Palmigiano, Fei Liang
Publication date: 13 November 2019
Full work available at URL: https://arxiv.org/abs/1808.07278
rough setscanonical extensionsmulti-type calculiproper display calculiintermediate algebraspre-rough algebrastopological quasi-Boolean algebrastopological quasi-Boolean algebras 5
Theory of fuzzy sets, etc. (03E72) Cut-elimination and normal-form theorems (03F05) Other algebras related to logic (03G25) Generalizations of Boolean algebras (06E75)
Related Items
Linear Logic Properly Displayed ⋮ Syntactic Completeness of Proper Display Calculi ⋮ Non-normal modal logics and conditional logics: semantic analysis and proof theory ⋮ Rough concepts ⋮ Toward a Dempster-Shafer theory of concepts ⋮ Semi De Morgan logic properly displayed
Cites Work
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Algorithmic correspondence and canonicity for distributive modal 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
- Lattice logic properly displayed
- Multi-type display calculus for semi De Morgan logic
- Perfect extensions of regular double Stone algebras
- Logics for rough concept analysis
- Bilattice logic properly displayed
- A Multi-type Calculus for Inquisitive Logic
- Dynamic Epistemic Logic Displayed
- A proof-theoretic semantic analysis of dynamic epistemic logic
- Multi-type display calculus for dynamic epistemic logic
- Multi-type display calculus for propositional dynamic logic
- Sahlqvist theory for impossible worlds
- Rough sets
- THE LOGIC OF RESOURCES AND CAPABILITIES
- Unified correspondence as a proof-theoretic tool
- Heterogeneous algebras
- Sequent Calculi for Varieties of Topological Quasi-Boolean Algebras
