Unification through projectivity
From MaRDI portal
Publication:4381867
Recommendations
Cited in
(51)- Unification in primal algebras, their powers and their varieties
- Unification in linear temporal logic LTL
- Projective algebras and primitive subquasivarieties in varieties with factor congruences
- Unification and admissible rules for paraconsistent minimal Johanssons' logic J and positive intuitionistic logic \(\mathbf{IPC}^+\)
- Projectivity in (bounded) commutative integral residuated lattices
- Multiagent temporal logics, unification problems, and admissibilities
- DECIDABILITY OF ADMISSIBILITY: ON A PROBLEM BY FRIEDMAN AND ITS SOLUTION BY RYBAKOV
- Unification, finite duality and projectivity in varieties of Heyting algebras
- Structural and universal completeness in algebra and logic
- Ideal Related Algebras and Their Logics Extended Abstract
- Unification and Inference Rules in the Multi-modal Logic of Knowledge and Linear Time LTK
- E-unification based on generalized embedding
- Free Heyting algebra endomorphisms: Ruitenburg’s Theorem and beyond
- Admissibility and unification in the modal logics related to S4.2
- Almost structural completeness; an algebraic approach
- scientific article; zbMATH DE number 7668094 (Why is no real title available?)
- Unification in Linear Modal Logic on Non-transitive Time with the Universal Modality
- Unification in pretabular extensions of S4
- Linear step-like logic of knowledge \(\mathcal{LTK}.{sl} \)
- Unification and projectivity in De Morgan and Kleene algebras.
- UNIFICATION IN SUPERINTUITIONISTIC PREDICATE LOGICS AND ITS APPLICATIONS
- Relaxed unification -- proposal
- Best unifiers in transitive modal logics
- Filtering unification and most general unifiers in modal logic
- Extending unification in \(\mathcal{EL}\) to disunification: the case of dismatching and local disunification
- Best solving modal equations
- scientific article; zbMATH DE number 4089519 (Why is no real title available?)
- Unification types and union splittings in intermediate logics
- About the unification types of modal logics
- The admissible rules of \(\mathsf{BD}_2\) and \(\mathsf{GSc}\)
- Projectivity and unification in substructural logics of generalized rotations
- Exact unification and admissibility
- Free and projective bimodal symmetric Gödel algebras
- Essential unifiers
- Multi-agent logics with dynamic accessibly relations, projective unifiers
- Finitary unification in locally tabular modal logics characterized
- Unification and Finite Model Property for Linear Step-Like Temporal Multi-Agent Logic with the Universal Modality
- Temporal logic with accessibility temporal relations generated by time states themselves
- Projectivity and unification in locally finite varieties of monadic MV-algebras
- Unification properties of commutative theories: a categorical treatment
- Model-theoretic aspects of unification
- Distributive bilattices from the perspective of natural duality theory.
- Flat algebras and the translation of universal Horn logic to equational logic
- Unification and projectivity in Fregean varieties
- Dynamic temporal logical operations in multi-agent logics
- Multiagent temporal logics with multivaluations
- Multi-Agents’ Temporal Logic using Operations of Static Agents’ Knowledge
- Direct product of \(\ell\)-algebras and unification: an application to residuated lattices
- Multi-agent temporal logics, information, unification, and projectivity
- Multi-agent logics with multi-valuations and intensional logical operations
- A note on extensions: admissible rules via semantics
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)