The Experts below are selected from a list of 489 Experts worldwide ranked by ideXlab platform
Alessandra Palmigiano - One of the best experts on this subject based on the ideXlab platform.
-
Semi De Morgan Logic Properly Displayed
Studia Logica, 2020Co-Authors: Giuseppe Greco, Fei Liang, M. Andrew Moshier, Alessandra PalmigianoAbstract:In the present paper, we endow semi De Morgan logic and a family of its axiomatic extensions 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 of the variety of semi De Morgan algebras, and applies the guidelines of the multi-type methodology in the design of display calculi.
-
LSFA - Proper Multi-Type Display Calculi for Rough Algebras
Electronic Notes in Theoretical Computer Science, 2019Co-Authors: Giuseppe Greco, Fei Liang, Krishna Manoorkar, Alessandra PalmigianoAbstract: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.
-
WoLLIC - Non Normal Logics : Semantic Analysis and Proof Theory
Logic Language Information and Computation, 2019Co-Authors: Jinsheng Chen, Giuseppe Greco, Alessandra Palmigiano, Apostolos TzimoulisAbstract:We introduce proper display calculi for basic monotonic modal logic, the conditional logic CK and a number of their axiomatic extensions. These calculi are sound, complete, conservative and enjoy cut elimination and Subformula Property. Our proposal applies the multi-type methodology in the design of display calculi, starting from a semantic analysis based on the translation from monotonic modal logic to normal bi-modal logic.
-
Bilattice logic properly displayed
Fuzzy Sets and Systems, 2019Co-Authors: Giuseppe Greco, Alessandra Palmigiano, Fei Liang, Umberto RivieccioAbstract:We introduce a proper display calculus for (non-distributive) Lattice Logic which is sound, complete, conservative, and enjoys cut-elimination and Subformula Property. Properness (i.e. closure under uniform substitution of all parametric parts in rules) is the main interest and added value of the present proposal, and allows for the smoothest Belnap-style proof of cut-elimination, and for the most comprehensive account of axiomatic extensions and expansions of Lattice Logic in a single overarching framework. Our proposal builds on an algebraic and order-theoretic analysis of the semantic environment of lattice logic, and applies the guidelines of the multi-type methodology in the design of display calculi.
-
Non normal logics: semantic analysis and proof theory
arXiv: Logic, 2019Co-Authors: Jinsheng Chen, Giuseppe Greco, Alessandra Palmigiano, Apostolos TzimoulisAbstract:We introduce proper display calculi for basic monotonic modal logic,the conditional logic CK and a number of their axiomatic extensions. These calculi are sound, complete, conservative and enjoy cut elimination and Subformula Property. Our proposal applies the multi-type methodology in the design of display calculi, starting from a semantic analysis based on the translation from monotonic modal logic to normal bi-modal logic.
Giuseppe Greco - One of the best experts on this subject based on the ideXlab platform.
-
Semi De Morgan Logic Properly Displayed
Studia Logica, 2020Co-Authors: Giuseppe Greco, Fei Liang, M. Andrew Moshier, Alessandra PalmigianoAbstract:In the present paper, we endow semi De Morgan logic and a family of its axiomatic extensions 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 of the variety of semi De Morgan algebras, and applies the guidelines of the multi-type methodology in the design of display calculi.
-
LSFA - Proper Multi-Type Display Calculi for Rough Algebras
Electronic Notes in Theoretical Computer Science, 2019Co-Authors: Giuseppe Greco, Fei Liang, Krishna Manoorkar, Alessandra PalmigianoAbstract: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.
-
WoLLIC - Non Normal Logics : Semantic Analysis and Proof Theory
Logic Language Information and Computation, 2019Co-Authors: Jinsheng Chen, Giuseppe Greco, Alessandra Palmigiano, Apostolos TzimoulisAbstract:We introduce proper display calculi for basic monotonic modal logic, the conditional logic CK and a number of their axiomatic extensions. These calculi are sound, complete, conservative and enjoy cut elimination and Subformula Property. Our proposal applies the multi-type methodology in the design of display calculi, starting from a semantic analysis based on the translation from monotonic modal logic to normal bi-modal logic.
-
Bilattice logic properly displayed
Fuzzy Sets and Systems, 2019Co-Authors: Giuseppe Greco, Alessandra Palmigiano, Fei Liang, Umberto RivieccioAbstract:We introduce a proper display calculus for (non-distributive) Lattice Logic which is sound, complete, conservative, and enjoys cut-elimination and Subformula Property. Properness (i.e. closure under uniform substitution of all parametric parts in rules) is the main interest and added value of the present proposal, and allows for the smoothest Belnap-style proof of cut-elimination, and for the most comprehensive account of axiomatic extensions and expansions of Lattice Logic in a single overarching framework. Our proposal builds on an algebraic and order-theoretic analysis of the semantic environment of lattice logic, and applies the guidelines of the multi-type methodology in the design of display calculi.
-
Non normal logics: semantic analysis and proof theory
arXiv: Logic, 2019Co-Authors: Jinsheng Chen, Giuseppe Greco, Alessandra Palmigiano, Apostolos TzimoulisAbstract:We introduce proper display calculi for basic monotonic modal logic,the conditional logic CK and a number of their axiomatic extensions. These calculi are sound, complete, conservative and enjoy cut elimination and Subformula Property. Our proposal applies the multi-type methodology in the design of display calculi, starting from a semantic analysis based on the translation from monotonic modal logic to normal bi-modal logic.
Fei Liang - One of the best experts on this subject based on the ideXlab platform.
-
Semi De Morgan Logic Properly Displayed
Studia Logica, 2020Co-Authors: Giuseppe Greco, Fei Liang, M. Andrew Moshier, Alessandra PalmigianoAbstract:In the present paper, we endow semi De Morgan logic and a family of its axiomatic extensions 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 of the variety of semi De Morgan algebras, and applies the guidelines of the multi-type methodology in the design of display calculi.
-
LSFA - Proper Multi-Type Display Calculi for Rough Algebras
Electronic Notes in Theoretical Computer Science, 2019Co-Authors: Giuseppe Greco, Fei Liang, Krishna Manoorkar, Alessandra PalmigianoAbstract: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.
-
Bilattice logic properly displayed
Fuzzy Sets and Systems, 2019Co-Authors: Giuseppe Greco, Alessandra Palmigiano, Fei Liang, Umberto RivieccioAbstract:We introduce a proper display calculus for (non-distributive) Lattice Logic which is sound, complete, conservative, and enjoys cut-elimination and Subformula Property. Properness (i.e. closure under uniform substitution of all parametric parts in rules) is the main interest and added value of the present proposal, and allows for the smoothest Belnap-style proof of cut-elimination, and for the most comprehensive account of axiomatic extensions and expansions of Lattice Logic in a single overarching framework. Our proposal builds on an algebraic and order-theoretic analysis of the semantic environment of lattice logic, and applies the guidelines of the multi-type methodology in the design of display calculi.
-
Proper Multi-Type Display Calculi for Rough Algebras.
arXiv: Logic, 2018Co-Authors: Giuseppe Greco, Fei Liang, Krishna Manoorkar, Alessandra PalmigianoAbstract: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.
-
Kleene algebras, adjunction and structural control
arXiv: Logic, 2018Co-Authors: Giuseppe Greco, Fei Liang, Alessandra PalmigianoAbstract:In the present paper, we introduce a multi-type calculus for the logic of measurable Kleene algebras, for which we prove soundness, completeness, conservativity, cut elimination and Subformula Property. Our proposal imports ideas and techniques developed in formal linguistics around the notion of structural control.
Apostolos Tzimoulis - One of the best experts on this subject based on the ideXlab platform.
-
WoLLIC - Non Normal Logics : Semantic Analysis and Proof Theory
Logic Language Information and Computation, 2019Co-Authors: Jinsheng Chen, Giuseppe Greco, Alessandra Palmigiano, Apostolos TzimoulisAbstract:We introduce proper display calculi for basic monotonic modal logic, the conditional logic CK and a number of their axiomatic extensions. These calculi are sound, complete, conservative and enjoy cut elimination and Subformula Property. Our proposal applies the multi-type methodology in the design of display calculi, starting from a semantic analysis based on the translation from monotonic modal logic to normal bi-modal logic.
-
Non normal logics: semantic analysis and proof theory
arXiv: Logic, 2019Co-Authors: Jinsheng Chen, Giuseppe Greco, Alessandra Palmigiano, Apostolos TzimoulisAbstract:We introduce proper display calculi for basic monotonic modal logic,the conditional logic CK and a number of their axiomatic extensions. These calculi are sound, complete, conservative and enjoy cut elimination and Subformula Property. Our proposal applies the multi-type methodology in the design of display calculi, starting from a semantic analysis based on the translation from monotonic modal logic to normal bi-modal logic.
-
ICLA - Logics for rough concept analysis
Logic and Its Applications, 2019Co-Authors: Giuseppe Greco, Alessandra Palmigiano, Krishna Manoorkar, Peter Jipsen, Apostolos TzimoulisAbstract: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 the logics associated with these varieties which are sound, complete, conservative and with uniform cut elimination and Subformula Property. These calculi modularly extend the multi-type calculi for rough algebras to a ‘nondistributive’ (i.e. general lattice-based) setting.
-
Logics for Rough Concept Analysis.
arXiv: Logic, 2018Co-Authors: Giuseppe Greco, Alessandra Palmigiano, Krishna Manoorkar, Peter Jipsen, Apostolos TzimoulisAbstract: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 the logics associated with these varieties which are sound, complete, conservative and with uniform cut elimination and Subformula Property. These calculi modularly extend the multi-type calculi for rough algebras to a `nondistributive' (i.e. general lattice-based) setting.
Krishna Manoorkar - One of the best experts on this subject based on the ideXlab platform.
-
LSFA - Proper Multi-Type Display Calculi for Rough Algebras
Electronic Notes in Theoretical Computer Science, 2019Co-Authors: Giuseppe Greco, Fei Liang, Krishna Manoorkar, Alessandra PalmigianoAbstract: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.
-
ICLA - Logics for rough concept analysis
Logic and Its Applications, 2019Co-Authors: Giuseppe Greco, Alessandra Palmigiano, Krishna Manoorkar, Peter Jipsen, Apostolos TzimoulisAbstract: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 the logics associated with these varieties which are sound, complete, conservative and with uniform cut elimination and Subformula Property. These calculi modularly extend the multi-type calculi for rough algebras to a ‘nondistributive’ (i.e. general lattice-based) setting.
-
Logics for Rough Concept Analysis.
arXiv: Logic, 2018Co-Authors: Giuseppe Greco, Alessandra Palmigiano, Krishna Manoorkar, Peter Jipsen, Apostolos TzimoulisAbstract: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 the logics associated with these varieties which are sound, complete, conservative and with uniform cut elimination and Subformula Property. These calculi modularly extend the multi-type calculi for rough algebras to a `nondistributive' (i.e. general lattice-based) setting.
-
Proper Multi-Type Display Calculi for Rough Algebras.
arXiv: Logic, 2018Co-Authors: Giuseppe Greco, Fei Liang, Krishna Manoorkar, Alessandra PalmigianoAbstract: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.