Admissibility and Unifiability in Contact Logics

DOI10.1007/978-3-662-46906-4_4MaRDI QIDQ3455182zbMATH OpenOpenAlexFDO

Authors Philippe Balbiani, Çiğdem Gencer

Publication date 3 December 2015

Published in Logic, Language, and Computation (Search for Journal in Brave)

Full work available at URL http://oatao.univ-toulouse.fr/19007/1/balbiani_19007.pdf

zbMATH Keywords

admissibilitycontact logicsdecidabilityunifiability

Mathematics Subject Classification ID

Decidability of theories and sets of sentences (03B25) Other nonclassical logic (03B60) Topological spaces and generalizations (closure spaces, etc.) (54A05) Logic in artificial intelligence (68T27)

Recommendations

• Admissibility in positive logics
• Admissibility, compatibility, and deducibility in first-order sequent logics
• On unification and admissible rules in Gabbay-de Jongh logics
• Admissible and derivable rules in intuitionistic logic
• scientific article; zbMATH DE number 5640556
• Admissibility of cut in coalgebraic logics
• Decidability of the admissibility problem in layer-finite logics
• On the admissible rules of intuitionistic propositional logic
• Admissibility of structural rules for contraction-free systems of intuitionistic logic
• Admissibility of cut in congruent modal logics

Cites work

• A criterion for admissibility of rules in the modal system S4 and intuitionistic logic
• A representation theorem for Boolean contact algebras
• Admissibility of logical inference rules
• Admissible Rules of Lukasiewicz Logic
• Best solving modal equations
• Boolean logics with relations
• Description of Modal Logics Inheriting Admissible Rules for K4
• scientific article; zbMATH DE number 5117074 (Why is no real title available?)
• scientific article; zbMATH DE number 5117075 (Why is no real title available?)
• scientific article; zbMATH DE number 5241969 (Why is no real title available?)
• Proof theory for admissible rules
• Region-based theory of space: algebras of regions, representation theory, and logics
• Undecidability of the unification and admissibility problems for modal and description logics
• Unifiability in extensions of K4
• Unification in intuitionistic logic
• Unification in linear temporal logic LTL
• Unification in modal and description logics
• Unification in the Description Logic $\mathcal{EL}$

Cited in

(4)

• Admissibility of \(\Pi_2\)-inference rules: interpolation, model completion, and contact algebras
• Decidable subsets of open logic and an algorithm for R-calculus
• Contact logic is finitary for unification with constants
• Two decision problems in Contact Logics

This page was built for publication: Admissibility and Unifiability in Contact Logics

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