Deciding dependence in logic and algebra

DOI10.1007/978-3-031-47921-2_6MaRDI QIDQ6612812

George Metcalfe, Author name not available (Why is that?)

Publication date: 1 October 2024

zbMATH Keywords

coherencelatticesdependenceuniform interpolation

Mathematics Subject Classification ID

Modal logic (including the logic of norms) (03B45) Subsystems of classical logic (including intuitionistic logic) (03B20) Provability logics and related algebras (e.g., diagonalizable algebras) (03F45)

Cites Work

• Title not available (Why is that?)
• Title not available (Why is that?)
• Title not available (Why is that?)
• Title not available (Why is that?)
• Title not available (Why is that?)
• Title not available (Why is that?)
• Title not available (Why is that?)
• Title not available (Why is that?)
• Title not available (Why is that?)
• Title not available (Why is that?)
• Title not available (Why is that?)
• Title not available (Why is that?)
• Propositional logics of dependence
• Consequence relations and admissible rules
• Algebraically complete lattices
• Uniform interpolation and propositional quantifiers in modal logics
• Distortion of wreath products in some finitely presented groups.
• Representation and reticulation by quotients of MV-algebras
• Model-companions and definability in existentially complete structures
• Fans, decision problems and generators of free abelian \(\ell\)-groups
• Uniform interpolation and coherence
• Independence algebras
• On subsemigroups of finitely presented semigroups
• Amalgamation and interpolation in ordered algebras.
• Explicating logical independence
• Admissibility via natural dualities
• Uniform interpolation and compact congruences
• Anneaux et modules cohérents
• Projective lattices and bounded homomorphisms
• Free lattices.
• UNIFORM INTERPOLATION IN SUBSTRUCTURAL LOGICS
• Free and Finitely Presented Lattices
• Independence and homomorphisms in abstract algebras
• On an interpretation of second order quantification in first order intuitionistic propositional logic
• A characterization of companionable, universal theories
• Unification in intuitionistic logic
• The decidability of dependency in intuitionistic propositional logic
• Independence in a certain class of abstract algebras
• Marczewski independence in lattices and semilattices
• Concerning the independence in lattices

This page was built for publication: Deciding dependence in logic and algebra

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