Entity usage

This page lists pages that use the given entity (e.g. Q42). The list is sorted by descending page ID, so that newer pages are listed first.

Showing below up to 30 results in range #1 to #30.

Some consistency results for many-valued judgment aggregation: Label: en
Intermediate-qudit assisted improved quantum algorithm for string matching with an advanced decomposition of Fredkin gate: Label: en
Alternative cut-free sequent calculi for S4 that are compatible with paradefinite four-valued logic: Label: en
Multiple-valued reversible Fredkin gates and ensembles: Label: en
Kanger-Wang-type sequent calculi with equality: Label: en
Flexible involutive meadows: Label: en
Centers of quantum-Wajsberg algebras: Label: en
Some types of weak hyper filters in hyper BE-algebras: Label: en
Ideals on pseudo equality algebras: Label: en
Monadic operators on bounded \(L\)-algebras: Label: en
Algebras of similarity monadic fuzzy predicate logic: Label: en
Algebraic study of substructural fuzzy epistemic logics: Label: en
Frontiers of logic and computation in China: Label: en
From quasi-congruences to convergences in residuated lattices: Label: en
Interval ideals (atoms) of interval BCI-algebras: Label: en
On monadic semi-Nelson algebras: Label: en
Polynomially defined strong \(d\)-ringoids: Label: en
Some types of \(\sigma\)-filters in B-algebras: Label: en
Special issue on frontiers of logic and computation in Iran -- editorial: Label: en
Towards handling potential issues in business rule bases: Label: en
Representation and embedding of pseudo MV-algebras with square roots. II: Closures: Label: en
Representation and embedding of pseudo MV-algebras with square roots. I: Strict square roots: Label: en
Projection-algebras and quantum logic: Label: en
Rethinking Talmudic temporal logic. II: Two-dimensional perspectival logic in place of dual-time: Label: en
Rethinking Talmudic temporal logic. I: Legal analysis functions without parallel histories: Label: en
Corrigendum to: ``Quantum algorithms for unate and binate covering problems with application to finite state machine minimization: Label: en
A categorical equivalence for tense pseudocomplemented distributive lattice: Label: en
Formalization of the telegrapher's equations using higher-order-logic theorem proving: Label: en
Esemihoops: Label: en
Intuitionistic views on connexive constrictible falsity: Label: en