Pages that link to "Item:Q6500549"

The following pages link to Journal of Applied Logics - IfCoLog Journal of Logics and their Applications (Q6500549):

Displaying 25 items.

• Rethinking Talmudic temporal logic. I: Legal analysis functions without parallel histories (Q6610578) (← links)
• Rethinking Talmudic temporal logic. II: Two-dimensional perspectival logic in place of dual-time (Q6610579) (← links)
• Projection-algebras and quantum logic (Q6610580) (← links)
• Representation and embedding of pseudo MV-algebras with square roots. I: Strict square roots (Q6610581) (← links)
• Representation and embedding of pseudo MV-algebras with square roots. II: Closures (Q6610582) (← links)
• Towards handling potential issues in business rule bases (Q6610583) (← links)
• Special issue on frontiers of logic and computation in Iran -- editorial (Q6610584) (← links)
• Some types of \(\sigma\)-filters in B-algebras (Q6610585) (← links)
• Polynomially defined strong \(d\)-ringoids (Q6610586) (← links)
• On monadic semi-Nelson algebras (Q6610587) (← links)
• Interval ideals (atoms) of interval BCI-algebras (Q6610588) (← links)
• From quasi-congruences to convergences in residuated lattices (Q6610589) (← links)
• Frontiers of logic and computation in China (Q6610590) (← links)
• Algebraic study of substructural fuzzy epistemic logics (Q6610591) (← links)
• Algebras of similarity monadic fuzzy predicate logic (Q6610592) (← links)
• Monadic operators on bounded \(L\)-algebras (Q6610593) (← links)
• Ideals on pseudo equality algebras (Q6610595) (← links)
• Some types of weak hyper filters in hyper BE-algebras (Q6610596) (← links)
• Centers of quantum-Wajsberg algebras (Q6642903) (← links)
• Flexible involutive meadows (Q6642904) (← links)
• Kanger-Wang-type sequent calculi with equality (Q6642905) (← links)
• Multiple-valued reversible Fredkin gates and ensembles (Q6665089) (← links)
• Alternative cut-free sequent calculi for S4 that are compatible with paradefinite four-valued logic (Q6665090) (← links)
• Intermediate-qudit assisted improved quantum algorithm for string matching with an advanced decomposition of Fredkin gate (Q6665092) (← links)
• Some consistency results for many-valued judgment aggregation (Q6665093) (← links)