Unification through projectivity
From MaRDI portal
Publication:4381867
DOI10.1093/logcom/7.6.733zbMath0894.08004OpenAlexW2077311448MaRDI QIDQ4381867
Publication date: 25 March 1998
Published in: Journal of Logic and Computation (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.1093/logcom/7.6.733
categorical equivalenceprojective algebraE-unificationfinitely presented algebraBrouwerian semilatticesalgebraic approach to unification under equational conditions
Symbolic computation and algebraic computation (68W30) Applications of universal algebra in computer science (08A70) Mechanization of proofs and logical operations (03B35)
Related Items
Multiagent temporal logics with multivaluations ⋮ Almost structural completeness; an algebraic approach ⋮ Free and projective bimodal symmetric Gödel algebras ⋮ A Note on Extensions: Admissible Rules via Semantics ⋮ Multi-Agents’ Temporal Logic using Operations of Static Agents’ Knowledge ⋮ Filtering unification and most general unifiers in modal logic ⋮ Unnamed Item ⋮ Multiagent temporal logics, unification problems, and admissibilities ⋮ Multi-agent logics with dynamic accessibly relations, projective unifiers ⋮ Unification, finite duality and projectivity in varieties of Heyting algebras ⋮ E-Unification based on Generalized Embedding ⋮ Finitary unification in locally tabular modal logics characterized ⋮ Unification and admissible rules for paraconsistent minimal Johanssons' logic J and positive intuitionistic logic \(\mathbf{IPC}^+\) ⋮ Ideal Related Algebras and Their Logics Extended Abstract ⋮ Projectivity and unification in substructural logics of generalized rotations ⋮ Dynamic temporal logical operations in multi-agent logics ⋮ Structural and universal completeness in algebra and logic ⋮ Admissibility and unification in the modal logics related to S4.2 ⋮ Unification and Finite Model Property for Linear Step-Like Temporal Multi-Agent Logic with the Universal Modality ⋮ Multi-agent logics with multi-valuations and intensional logical operations ⋮ Extending Unification in $\mathcal{EL}$ to Disunification: The Case of Dismatching and Local Disunification ⋮ Best unifiers in transitive modal logics ⋮ UNIFICATION IN SUPERINTUITIONISTIC PREDICATE LOGICS AND ITS APPLICATIONS ⋮ Free Heyting algebra endomorphisms: Ruitenburg’s Theorem and beyond ⋮ Best solving modal equations ⋮ Unification in pretabular extensions of S4 ⋮ Projective algebras and primitive subquasivarieties in varieties with factor congruences ⋮ Unification in linear temporal logic LTL ⋮ The admissible rules of \(\mathsf{BD}_2\) and \(\mathsf{GSc}\) ⋮ Unification and projectivity in De Morgan and Kleene algebras. ⋮ Temporal logic with accessibility temporal relations generated by time states themselves ⋮ Unnamed Item ⋮ Unification and Inference Rules in the Multi-modal Logic of Knowledge and Linear Time LTK ⋮ Unification in Linear Modal Logic on Non-transitive Time with the Universal Modality ⋮ DECIDABILITY OF ADMISSIBILITY: ON A PROBLEM BY FRIEDMAN AND ITS SOLUTION BY RYBAKOV ⋮ Distributive bilattices from the perspective of natural duality theory. ⋮ Projectivity in (bounded) commutative integral residuated lattices
