Výsledky vyhľadávania - "Mathematical logic"

When Will This End?

Autori: Edwards, Chris¹ (AUTHOR) Chris@Chrised.com

Zdroj: Communications of the ACM. Apr2025, Vol. 68 Issue 4, p9-11. 3p.

Predmety: *ALGORITHMS, *CROWDSOURCING, *MATHEMATICIANS, *GROUP problem solving, TURING machines, UNSOLVABILITY (Mathematical logic), DECIDABILITY (Mathematical logic)

Relational methods in algebraic logic

Autori: Fornasiere, Damiano

Prispievatelia: University/Department: Universitat de Barcelona. Departament de Matemàtiques i Informàtica

Thesis Advisors: Gispert Brasó, Joan, Moraschini, Tommaso

Zdroj: TDX (Tesis Doctorals en Xarxa)

Predmety: Àlgebra de Boole, Álgebra de Boole, Boolean algebras, Lògica matemàtica, Lógica matemática, Mathematical logic, Teoria dels reticles, Teoría reticular, Lattice theory, Topologia, Topología, Topology, Ciències Experimentals i Matemàtiques

Popis súboru: application/pdf

Prístupová URL adresa: http://hdl.handle.net/10803/694076

Current research and future challenges in parcel hub towards logistics 4.0: a systematic literature review from a decision-making perspective.

Autori: Chen, James C. Anggrahini, Dewanti Chen, Tzu-Li

Zdroj: International Journal of Production Research. Dec2024, Vol. 62 Issue 23, p8562-8593. 32p.

Predmety: *CROSS-docking (Logistics), *FACILITY management, *PRODUCTION planning, MATHEMATICAL logic, SCIENCE publishing

Coverability in VASS Revisited: Improving Rackoff's Bounds to Obtain Conditional Optimality.

Autori: Künnemann, Marvin Mazowiecki, Filip Schütze, Lia a ďalší

Zdroj: Journal of the ACM; Oct2025, Vol. 72 Issue 5, p1-27, 27p

Predmety: MATHEMATICAL bounds, DETERMINISTIC algorithms, DECIDABILITY (Mathematical logic), HYPOTHESIS

Finite models for positive combinatorial and exponential algebra.

Autori: Alsulami, Tumadhir Jackson, Marcel

Zdroj: Bulletin of the London Mathematical Society. Nov2025, Vol. 57 Issue 11, p3380-3400. 21p.

Predmety: *FINITE model theory, *DECIDABILITY (Mathematical logic), *BINOMIAL coefficients, *MATHEMATICAL logic, *AXIOMS, *ALGEBRAIC combinatorics, *HYPERGRAPHS

A pathological punctually 1-decidable structure.

Autori: Hammatt, Ellen Turetsky, Dan Melnikov, Alexander G. a ďalší

Zdroj: Proceedings of the American Mathematical Society. Oct2025, Vol. 153 Issue 10, p4447-4462. 16p.

Predmety: *MATHEMATICAL logic, *DECIDABILITY (Mathematical logic), *RECURSION theory

Coatoms, molecules, and creators in MTL-algebras and their counterparts in multivalued logics Open Access.

Autori: Turunen, Esko¹ (AUTHOR)

Zdroj: Logic Journal of the IGPL. Aug2025, Vol. 33 Issue 4, p1-17. 17p.

Predmety: MANY-valued logic, MATHEMATICAL logic, ORDERED algebraic structures

Suitable logics: provability, temporal laws, and formalization

Autori: Borges, Ana de Almeida Gabriel Vieira

Prispievatelia: University/Department: Universitat de Barcelona. Departament de Matemàtiques i Informàtica

Thesis Advisors: Joosten, Joost J.

Zdroj: TDX (Tesis Doctorals en Xarxa)

Predmety: Lògica matemàtica, Lógica matemática, Mathematical logic, Ciències Experimentals i Matemàtiques

Popis súboru: application/pdf

Prístupová URL adresa: http://hdl.handle.net/10803/692839

Decidability of Fully Quantum Nonlocal Games with Noisy Maximally Entangled States.

Autori: Qin, Minglong Yao, Penghui

Zdroj: Algorithmica. Dec2025, Vol. 87 Issue 12, p1732-1803. 72p.

Predmety: *DECIDABILITY (Mathematical logic), *QUANTUM entanglement, *FOURIER analysis, *QUANTUM measurement, *QUANTUM states

Multimodal mathematical reasoning embedded in aerial vehicle imagery: Benchmarking, analysis, and exploration.

Autori: Zhou, Yue Feng, Litong Lan, Mengcheng a ďalší

Zdroj: ISPRS Journal of Photogrammetry & Remote Sensing. Dec2025, Vol. 230, p289-303. 15p.

Predmety: *MATHEMATICAL logic, *BENCHMARK problems (Computer science), *DRONE photography, *REMOTE sensing, *DRONE aircraft

A Symbolic Neutrosophic Models for Corporate Financial Management Performance: Integrating Multi-Layer Algebra and Case Analysis.

Autori: Yan Wu¹ 13514495669@163.com

Zdroj: Neutrosophic Sets & Systems. 2025, Vol. 88, p718-736. 19p.

Predmety: *MATHEMATICAL logic, *NEUTROSOPHIC logic, *TOPOLOGICAL algebras, *ECONOMIC indicators, *INDUSTRIAL management

A Neutrosophic Reversibility Tensor Model for Analyzing Quality Dynamics in Academic Discipline Construction at Local Application-Oriented Universities Based on Artificial Intelligence Technology.

Autori: Chang Liu¹ liuchang1120a@163.com

Zdroj: Neutrosophic Sets & Systems. 2025, Vol. 87, p519-532. 14p.

Predmety: *MATHEMATICAL logic, *NEUTROSOPHIC logic, *QUALITY control, *ARTIFICIAL intelligence, *ACADEMIC programs

A Novel NeutroGraph Model for Dynamic Systems: Advancing NeutroStructures with Partially False Axioms in Interactive Digital Installation Art Design.

Autori: Ziyuan Liu Yixi Peng

Zdroj: Neutrosophic Sets & Systems. 2025, Vol. 87, p210-222. 13p.

Predmety: *MATHEMATICAL logic, *INSTALLATION art, *COMPUTER art, *DYNAMICAL systems, *MATHEMATICAL models

A Nonstandard Neutrosophic Framework for Evaluating Intelligent Clothing Design Effectiveness under Multisource Perceptual and Functional Uncertainty.

Autori: Kaixia Zhuo¹ 13336680175@163.com

Zdroj: Neutrosophic Sets & Systems. 2025, Vol. 86, p838-851. 14p.

Predmety: *FASHION design, *MATHEMATICAL logic, *NEUTROSOPHIC logic, *THRESHOLD (Perception), *CLINICAL pathology

On the universal theory of the free pseudocomplemented distributive lattice.

Autori: Carai, Luca Moraschini, Tommaso

Zdroj: Journal of Algebra. Nov2025, Vol. 682, p634-671. 38p.

Predmety: *MATHEMATICAL logic, *LATTICE theory, *HEYTING algebras, *ALGEBRA, *SKELETON, *DISTRIBUTIVE lattices

Green Supply Chain Management Capability Evaluation Using Neutrosophic TwoFold Algebra Decision Model.

Autori: Hui Wang¹ wh2976@126.com

Zdroj: Neutrosophic Sets & Systems. 2025, Vol. 85, p703-711. 9p.

Predmety: *SUPPLY chain management, *MATHEMATICAL logic, *NEUTROSOPHIC logic, *ELECTRONICS manufacturing, *JUDGMENT (Psychology)

Algebraic semantics for weak subintuitionistic logic WF.

Autori: Maleki, Fatemeh Shirmohammadzadeh¹ (AUTHOR) f.shmaleki2012@yahoo.com

Zdroj: Archive for Mathematical Logic. Nov2025, Vol. 64 Issue 7/8, p1133-1147. 15p.

Predmety: *DUALITY (Logic), *MATHEMATICAL logic, *ORDERED algebraic structures, *DUALITY theory (Mathematics)

Heidegger. Precursor of Dialetheism?

Autori: Ficara, Elena¹ (AUTHOR) elena.ficara@upb.de

Zdroj: International Journal of Philosophical Studies. Oct2025, p1-6. 6p.

Predmety: *LOGIC, *NONCLASSICAL mathematical logic, *MANY-valued logic, *THEMATIC analysis, *INCONSISTENCY (Logic), *HERMENEUTICS

Osoby: HEIDEGGER, Martin, 1889-1976

Minimal signatures with undecidability of representability by binary relations.

Autori: Hirsch, Robin Jackson, Marcel Šemrl, Jaš

Zdroj: Semigroup Forum. Oct2025, Vol. 111 Issue 2, p469-489. 21p.

Predmety: *SEMIGROUPS (Algebra), *DECIDABILITY (Mathematical logic), *RELATION algebras

Exploring Jaśkowski's Discussive Logic.

Autori: De Martin Polo, Fabio¹ (AUTHOR) demartinpolofabio@hotmail.it

Zdroj: Journal of Philosophical Logic. Oct2025, Vol. 54 Issue 5, p935-993. 59p.

Predmety: *LOGIC, *NONCLASSICAL mathematical logic, *MANY-valued logic, *PROOF theory