Krishna Manoorkar

Krishna Manoorkar
Technion - Israel Institute of Technology | technion · Faculty of Mathematics

Bachelor of Science

About

11
Publications
996
Reads
How we measure 'reads'
A 'read' is counted each time someone views a publication summary (such as the title, abstract, and list of authors), clicks on a figure, or views or downloads the full-text. Learn more
33
Citations
Education
October 2019 - October 2021
July 2015 - June 2019
Indian Institute of Technology Kanpur
Field of study
  • Mathematics

Publications

Publications (11)
Chapter
We establish a novel connection between two research areas in non-classical logics which have been developed independently of each other so far: on the one hand, input/output logic, introduced within a research program developing logical formalizations of normative reasoning in philosophical logic and AI; on the other hand, subordination algebras,...
Preprint
Full-text available
We establish a novel connection between two research areas in non-classical logics which have been developed independently of each other so far: on the one hand, input/output logic, introduced within a research program developing logical formalizations of normative reasoning in philosophical logic and AI; on the other hand, subordination algebras,...
Preprint
Full-text available
The present paper establishes systematic connections among the first-order correspondents of Sahlqvist modal reduction principles in various relational semantic settings which include crisp and many-valued Kripke frames, and crisp and many-valued polarity-based frames (aka enriched formal contexts). Building on unified correspondence theory, we aim...
Article
Full-text available
In this paper, we generalize the basic notions and results of Dempster-Shafer theory from predicates to formal concepts. Results include the representation of conceptual belief functions as inner measures of suitable probability functions, and a Dempster-Shafer rule of combination on belief functions on formal concepts.
Article
The present paper proposes a novel way to unify Rough Set Theory and Formal Concept Analysis. Our method stems from results and insights developed in the algebraic theory of modal logic, and is based on the idea that Pawlak’s original approximation spaces can be seen as special instances of enriched formal contexts, i.e. relational structures based...
Preprint
Full-text available
In this paper, we generalize the basic notions and results of Dempster-Shafer theory from predicates to formal concepts. Results include the representation of conceptual belief functions as inner measures of suitable probability functions, and a Dempster-Shafer rule of combination on belief functions on formal concepts.
Article
Full-text available
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 analy...
Preprint
Full-text available
The present paper proposes a novel way to unify Rough Set Theory and Formal Concept Analysis. Our method stems from results and insights developed in the algebraic theory of modal logic, and is based on the idea that Pawlak's original approximation spaces can be seen as special instances of enriched formal contexts, i.e. relational structures based...
Preprint
Full-text available
Taking an algebraic perspective on the basic structures of Rough Concept Analysis as the starting point, in this paper we introduce some varieties of lattices expanded with normal modal operators which can be regarded as the natural rough algebra counterparts of certain subclasses of rough formal contexts, and introduce proper display calculi for t...
Preprint
Full-text available
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 analy...

Network

Cited By

Projects

Project (1)
Project
This research project stems from the theory of canonicity and correspondence for the logics algebraically captured by varieties of normal lattice expansions (referred to below as LE-logics, or non-distributive logics). In recent years, these logics (and subclasses thereof) have been studied very intensely from an algebraic, duality-theoretic and proof-theoretic perspective, giving rise to a very elegant and powerful theory which has uniformly extended key results in the mathematical theory of modal logic to LE-logics. The main aim of this project is to make sense of LE-logics in a more fundamental way, by endowing them with extra-mathematical interpretations which simultaneously account for the meaning of *all* connectives of a given signature, and coherently extend to the meaning of axioms and of their first order correspondents. In particular, via polarity-based semantics, the basic non-distributive modal logic and some of its axiomatic extensions are interpreted as epistemic logics of categories and concepts, and the corresponding ‘common knowledge’-type construction is used to give an epistemic-logical formalization of the notion of prototype of a category; polarity-based semantics for non-distributive modal logic is also proposed as an encompassing framework for the integration of rough set theory and formal concept analysis, and in this context, the basic non-distributive modal logic is interpreted as the logic of rough concepts. Via graph-based semantics, the same logic is interpreted as the logic of informational entropy, i.e. an inherent boundary to knowability due e.g. to perceptual, theoretical, evidential or linguistic limits; moreover, via a many-valued version of the graph-based semantics, the potential of non-distributive modal logic is explored as a formal framework for modelling competing theories in the empirical sciences, and for modelling the competition of socio-political theories (both in their institutional incarnations as political parties, and in their social incarnations as social blocks or groups).