Unification through projectivity
From MaRDI portal
Publication:4381867
Recommendations
Cited in
(64)- Unification problem in equational theories
- Relaxed unification -- proposal
- Multiagent temporal logics with multivaluations
- The admissible rules of \(\mathsf{BD}_2\) and \(\mathsf{GSc}\)
- Best solving modal equations
- Projective algebras and primitive subquasivarieties in varieties with factor congruences
- Projectivity in (bounded) commutative integral residuated lattices
- Multiagent temporal logics, unification problems, and admissibilities
- Multi-agent logics with dynamic accessibly relations, projective unifiers
- Multi-agent logics with multi-valuations and intensional logical operations
- Unification in pretabular extensions of S4
- Distributive bilattices from the perspective of natural duality theory.
- Essential unifiers
- Unification and projectivity in De Morgan and Kleene algebras.
- Finitary unification in locally tabular modal logics characterized
- Projectivity and unification in substructural logics of generalized rotations
- Almost structural completeness; an algebraic approach
- Unification and projectivity in Fregean varieties
- Extending unification in \(\mathcal{EL}\) to disunification: the case of dismatching and local disunification
- Free and projective bimodal symmetric Gödel algebras
- Exact unification and admissibility
- A note on extensions: admissible rules via semantics
- Unification in primal algebras, their powers and their varieties
- scientific article; zbMATH DE number 4089519 (Why is no real title available?)
- Unification and admissible rules for paraconsistent minimal Johanssons' logic J and positive intuitionistic logic \(\mathbf{IPC}^+\)
- Direct product of -algebras and unification: an application to residuated lattices
- DECIDABILITY OF ADMISSIBILITY: ON A PROBLEM BY FRIEDMAN AND ITS SOLUTION BY RYBAKOV
- Multi-Agents’ Temporal Logic using Operations of Static Agents’ Knowledge
- E-unification based on generalized embedding
- Unification properties of commutative theories: a categorical treatment
- Ideal Related Algebras and Their Logics Extended Abstract
- Free Heyting algebra endomorphisms: Ruitenburg’s Theorem and beyond
- Projectivity and unification in locally finite varieties of monadic MV-algebras
- Filtering unification and most general unifiers in modal logic
- UNIFICATION IN SUPERINTUITIONISTIC PREDICATE LOGICS AND ITS APPLICATIONS
- Flat algebras and the translation of universal Horn logic to equational logic
- scientific article; zbMATH DE number 966894 (Why is no real title available?)
- 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
- scientific article; zbMATH DE number 7668094 (Why is no real title available?)
- Unification, finite duality and projectivity in varieties of Heyting algebras
- 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
- Model-theoretic aspects of unification
- Unification and Finite Model Property for Linear Step-Like Temporal Multi-Agent Logic with the Universal Modality
- Best unifiers in transitive modal logics
- Multi-agent temporal logics, information, unification, and projectivity
- Linear step-like logic of knowledge \(\mathcal{LTK}.{sl} \)
- About the unification types of modal logics
- Unification types and union splittings in intermediate logics
- Closure algebras of depth two with extremal relations: their frames, logics, and structural completeness
- Relative unification in intuitionistic logic: towards the provability logic of HA
- The fork and its role in unification of closure algebras
- Unification in subsystems of polymodal provability logic GLP
- Computing most general unifiers in Euclidean modal logics
- Investigating definability in propositional logic via sheaves on Grothendieck topologies
- On the theory of epistemic Łukasiewicz logic corresponding to the Chang algebra with application in immune system
- Projective relative unification through duality
- Free constructions in hoops via -groups
- The polyhedral geometry of Wajsberg hoops
- Unification in linear temporal logic LTL
- Unification via projectivity in varieties of hoops
- Temporal logic with accessibility temporal relations generated by time states themselves
This page was built for publication: Unification through projectivity
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q4381867)
