Reasoning with Incomplete Information in Generalized Galois Logics Without Distribution: The Case of Negation and Modal Operators

DOI10.1007/978-3-319-29300-4_14zbMath1439.03050OpenAlexW2463834824MaRDI QIDQ3305430

Chrysafis Hartonas

Publication date: 7 August 2020

Published in: Outstanding Contributions to Logic (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1007/978-3-319-29300-4_14

zbMATH Keywords

possibilitynegationimpossibilitymodal lattice logicnegation as impossibilitynon-distributive lattice logicstar and perp

Mathematics Subject Classification ID

Modal logic (including the logic of norms) (03B45) Substructural logics (including relevance, entailment, linear logic, Lambek calculus, BCK and BCI logics) (03B47)

Related Items (max. 100)

Disjunction and negation in information based semantics ⋮ First-order frames for orthomodular quantum logic ⋮ Knowledge graph embeddings with ontologies: reification for representing arbitrary relations ⋮ Order-dual relational semantics for non-distributive propositional logics: a general framework

Cites Work

• Editors' introduction: The third life of quantum logic: Quantum logic inspired by quantum computing
• Distributive envelopes and topological duality for lattices via canonical extensions.
• Negation in the context of gaggle theory
• Generalized Kripke frames
• A topological representation of lattices
• A topological representation theory for lattices
• Stone duality for lattices
• Duality for lattice-ordered algebras and for normal algebraizable logics
• Semantic analysis of orthologic
• Kripke semantics for modal substructural logics
• Algorithmic correspondence and canonicity for non-distributive logics
• Topological duality and lattice expansions. I: A topological construction of canonical extensions.
• Topological duality and lattice expansions. II: Lattice expansions with quasioperators.
• Orthomodularity is not elementary
• The Semantics of First Degree Entailment
• Representation of Distributive Lattices by means of ordered Stone Spaces
• Topological representations of distributive lattices and Brouwerian logics
• Boolean Algebras with Operators
• Relational Methods in Computer Science
• Bounded lattice expansions
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item

This page was built for publication: Reasoning with Incomplete Information in Generalized Galois Logics Without Distribution: The Case of Negation and Modal Operators