Reasoning with incomplete information in generalized Galois logics without distribution: the case of negation and modal operators

DOI10.1007/978-3-319-29300-4_14MaRDI QIDQ3305430zbMATH OpenOpenAlexFDO

Authors 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

impossibilitymodal lattice logicnegationnegation as impossibilitynon-distributive lattice logicpossibilitystar 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)

Recommendations

• Order-dual relational semantics for non-distributive propositional logics
• Order-dual relational semantics for non-distributive propositional logics: a general framework
• scientific article; zbMATH DE number 5046779
• Canonical extensions and Kripke-Galois semantics for non-distributive logics
• scientific article; zbMATH DE number 4058923

Cites work

• A comparative study of various model-theoretic treatments of negation: A history of formal negation
• A topological representation of lattices
• A topological representation theory for lattices
• Algorithmic correspondence and canonicity for non-distributive logics
• Bi-approximation semantics for substructural logic at work
• Boolean Algebras with Operators
• Bounded lattice expansions
• Distributive envelopes and topological duality for lattices via canonical extensions.
• Duality for lattice-ordered algebras and for normal algebraizable logics
• Editors' introduction: The third life of quantum logic: Quantum logic inspired by quantum computing
• Generalized Kripke frames
• Generalized ortho negation
• scientific article; zbMATH DE number 4016857 (Why is no real title available?)
• scientific article; zbMATH DE number 4132132 (Why is no real title available?)
• scientific article; zbMATH DE number 3134289 (Why is no real title available?)
• scientific article; zbMATH DE number 3496100 (Why is no real title available?)
• scientific article; zbMATH DE number 549966 (Why is no real title available?)
• scientific article; zbMATH DE number 1489632 (Why is no real title available?)
• scientific article; zbMATH DE number 6302921 (Why is no real title available?)
• Kripke semantics for modal substructural logics
• Negation in the context of gaggle theory
• Negation in the light of modal logic
• On polarity frames: applications to substructural and lattice-based logics
• Order-duality, negation and lattice representation
• Orthomodularity is not elementary
• Relational Methods in Computer Science
• Representation of Distributive Lattices by means of ordered Stone Spaces
• Semantic analysis of orthologic
• Stone duality for lattices
• The Semantics of First Degree Entailment
• Topological duality and lattice expansions. I: A topological construction of canonical extensions.
• Topological duality and lattice expansions. II: Lattice expansions with quasioperators.
• Topological representations of distributive lattices and Brouwerian logics

Cited in

(9)

• Canonical extensions and Kripke-Galois semantics for non-distributive logics
• Order-dual relational semantics for non-distributive propositional logics: a general framework
• Symmetric generalized Galois logics
• Disjunction and negation in information based semantics
• First-order frames for orthomodular quantum logic
• Reconciliation of approaches to the semantics of logics without distribution
• Knowledge graph embeddings with ontologies: reification for representing arbitrary relations
• Embedding ontologies in the description logic \(\mathcal{ALC}\) by axis-aligned cones
• Rules of partial orthomodularity

This page was built for publication: Reasoning with incomplete information in generalized Galois logics without distribution: the case of negation and modal operators

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