Admissibility of _2-inference rules: interpolation, model completion, and contact algebras

DOI10.1016/J.APAL.2022.103169MaRDI QIDQ2084960zbMATH OpenOpenAlexFDO

Authors Nick Bezhanishvili, Luca Carai, Silvio Ghilardi, Lucia Landi

Publication date 14 October 2022

Published in Annals of Pure and Applied Logic (Search for Journal in Brave)

Full work available at URL https://arxiv.org/abs/2201.06076

zbMATH Keywords

admissibilitycontact algebrasinterpolationmodel completionsnon-standard rulesuniform interpolation

Mathematics Subject Classification ID

Modal logic (including the logic of norms) (03B45) Quantifier elimination, model completeness, and related topics (03C10) Boolean algebras with additional operations (diagonalizable algebras, etc.) (06E25) Proximity structures and generalizations (54E05)

Recommendations

• Model completeness and _2-rules: the case of contact algebras
• Admissibility of logical inference rules
• scientific article; zbMATH DE number 3959387
• Admissible rules in the implication-negation fragment of intuitionistic logic
• scientific article; zbMATH DE number 4204318

Cites work

• A strict implication calculus for compact Hausdorff spaces
• Admissibility and Unifiability in Contact Logics
• An Axiomatization of the Temporal Logic with Until and Since over the Real Numbers
• Conservative extensions in modal logic
• Decidability for branching time
• Derivation rules as anti-axioms in modal logic
• Discriminator varieties and symbolic computation
• Existentially closed Brouwerian semilattices
• Heyting algebras. Duality theory. Translated from the Russian by A. Evseev
• scientific article; zbMATH DE number 3829877 (Why is no real title available?)
• scientific article; zbMATH DE number 1003731 (Why is no real title available?)
• scientific article; zbMATH DE number 1814847 (Why is no real title available?)
• scientific article; zbMATH DE number 3821688 (Why is no real title available?)
• scientific article; zbMATH DE number 3679781 (Why is no real title available?)
• scientific article; zbMATH DE number 475198 (Why is no real title available?)
• scientific article; zbMATH DE number 868087 (Why is no real title available?)
• scientific article; zbMATH DE number 5241969 (Why is no real title available?)
• Inseparability and conservative extensions of description logic ontologies: a survey
• Interpolation theorems in modal logics. Sufficient conditions
• Intuitionistic fuzzy logic and intuitionistic fuzzy set theory
• Irreducible equivalence relations, Gleason spaces, and de Vries duality
• Model completeness and _2-rules: the case of contact algebras
• Model completion of varieties of co-Heyting algebras
• Model theory.
• Model-companions and definability in existentially complete structures
• Multi-modal and Temporal Logics with Universal Formula--Reduction of Admissibility to Validity and Unification
• Region-based theory of space: algebras of regions, representation theory, and logics
• Sheaves, games, and model completions. A categorical approach to nonclassical propositional logics
• Stone duality and Gleason covers through de Vries duality
• Substructural fuzzy logics
• The modal logic of inequality
• Topological representation of precontact algebras and a connected version of the Stone duality theorem. I.
• Undecidability of the unification and admissibility problems for modal and description logics
• Unification in modal and description logics
• Uniform interpolation and coherence

Cited in

(6)

• Model completeness and _2-rules: the case of contact algebras
• Admissibility of $\Pi_2$-Inference Rules: interpolation, model completion, and contact algebras
• Ivanova contact join-semilattices are not finitely axiomatizable
• A calculus for modal compact Hausdorff spaces
• Hypercontact semilattices
• _2-rule systems and inductive classes of Gödel algebras

This page was built for publication: Admissibility of \(\Pi_2\)-inference rules: interpolation, model completion, and contact algebras

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