Unification through projectivity
DOI10.1093/LOGCOM/7.6.733zbMATH Open0894.08004OpenAlexW2077311448MaRDI QIDQ4381867FDOQ4381867
Authors: Silvio Ghilardi 
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
Recommendations
categorical equivalenceprojective algebraE-unificationfinitely presented algebraBrouwerian semilatticesalgebraic approach to unification under equational conditions
Symbolic computation and algebraic computation (68W30) Mechanization of proofs and logical operations (03B35) Applications of universal algebra in computer science (08A70)
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
- DECIDABILITY OF ADMISSIBILITY: ON A PROBLEM BY FRIEDMAN AND ITS SOLUTION BY RYBAKOV
- Unification and admissible rules for paraconsistent minimal Johanssons' logic J and positive intuitionistic logic \(\mathbf{IPC}^+\)
- Multiagent temporal logics, unification problems, and admissibilities
- Projectivity in (bounded) commutative integral residuated lattices
- Structural and universal completeness in algebra and logic
- Unification and Inference Rules in the Multi-modal Logic of Knowledge and Linear Time LTK
- Ideal Related Algebras and Their Logics Extended Abstract
- E-unification based on generalized embedding
- Free Heyting algebra endomorphisms: Ruitenburg’s Theorem and beyond
- Unification, finite duality and projectivity in varieties of Heyting algebras
- Admissibility and unification in the modal logics related to S4.2
- Almost structural completeness; an algebraic approach
- Title not available (Why is that?)
- Unification in Linear Modal Logic on Non-transitive Time with the Universal Modality
- Linear step-like logic of knowledge \(\mathcal{LTK}.{sl} \)
- UNIFICATION IN SUPERINTUITIONISTIC PREDICATE LOGICS AND ITS APPLICATIONS
- Unification in pretabular extensions of S4
- Unification and projectivity in De Morgan and Kleene algebras.
- Filtering unification and most general unifiers in modal logic
- Relaxed unification -- proposal
- Extending unification in \(\mathcal{EL}\) to disunification: the case of dismatching and local disunification
- Best unifiers in transitive modal logics
- Best solving modal equations
- Title not available (Why is that?)
- 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
- Projectivity and unification in locally finite varieties of monadic MV-algebras
- Unification properties of commutative theories: a categorical treatment
- Temporal logic with accessibility temporal relations generated by time states themselves
- Model-theoretic aspects of unification
- Flat algebras and the translation of universal Horn logic to equational logic
- Distributive bilattices from the perspective of natural duality theory.
- Unification and projectivity in Fregean varieties
- Dynamic temporal logical operations in multi-agent logics
- Multi-Agents’ Temporal Logic using Operations of Static Agents’ Knowledge
- Multiagent temporal logics with multivaluations
- 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)
