ARTICLE

doi:10.20944/preprints202307.2063.v6
Subject:
Computer Science And Mathematics,
Logic
Keywords:
conjecturally infinite subsets of N; constructive algorithms; current mathematical knowledge; informal notions; known algorithms; known elements of N
Online: 22 September 2023 (05:14:58 CEST)
ARTICLE

doi:10.20944/preprints202308.1640.v5
Subject:
Computer Science And Mathematics,
Logic
Keywords:
grammar; natural language; logic programming; syntactic analysis; lambda calculus
Online: 15 September 2023 (04:27:33 CEST)
ARTICLE

doi:10.20944/preprints202307.1014.v1
Subject:
Computer Science And Mathematics,
Logic
Keywords:
investment management; multicriteria decision making (MCDM); fuzzy number; fuzzy simple additive weighting; fuzzy group decision making
Online: 17 July 2023 (02:40:52 CEST)
ARTICLE

doi:10.20944/preprints202305.1187.v1
Subject:
Computer Science And Mathematics,
Logic
Keywords:
Graph operation; graph algebra; graph term algebra; Lawvere theory; derived graph operation; graph operation expression; universal graph algebra; string diagrams
Online: 17 May 2023 (04:46:50 CEST)
ARTICLE

doi:10.20944/preprints202304.0178.v2
Subject:
Computer Science And Mathematics,
Logic
Keywords:
quantum computing; communication; quantum logic; law of the excluded middle; laser; waveparticle duality; bayes; nonboolean; decision making
Online: 26 April 2023 (03:40:03 CEST)
ARTICLE

doi:10.20944/preprints202303.0397.v1
Subject:
Computer Science And Mathematics,
Logic
Keywords:
CVM; Crossbarbased verification; Modeling technique
Online: 22 March 2023 (12:11:13 CET)
ARTICLE

doi:10.20944/preprints202303.0364.v1
Subject:
Computer Science And Mathematics,
Logic
Keywords:
acoustic signals; underwater communications; channel impulse responses; Doppler frequencies; performance evaluation and monitoring; Simulinkbased emulator
Online: 21 March 2023 (02:10:22 CET)
ARTICLE

doi:10.20944/preprints202303.0340.v1
Subject:
Computer Science And Mathematics,
Logic
Keywords:
SLAM, localization, mapping, mobile mapping system, spherical camera, panoramic image, LiDAR, IMU, sensor fusion, pose graph.
Online: 20 March 2023 (04:00:38 CET)
ARTICLE

doi:10.20944/preprints202303.0324.v2
Subject:
Computer Science And Mathematics,
Logic
Keywords:
physical unclonable functions; truerandom number generator; hardware security; key generation; reconfigurable devices; embedded systems
Online: 20 March 2023 (02:40:31 CET)
ARTICLE

doi:10.20944/preprints202212.0255.v2
Subject:
Computer Science And Mathematics,
Logic
Keywords:
forcing; secondorder arithmetic; Comprehension; Choice; Sacks forcing
Online: 26 December 2022 (12:26:30 CET)
ARTICLE

doi:10.20944/preprints202209.0373.v2
Subject:
Computer Science And Mathematics,
Logic
Keywords:
information theory; number theory; theoretical physics; artificial intelligence
Online: 14 November 2022 (10:55:36 CET)
REVIEW

doi:10.20944/preprints202210.0024.v1
Subject:
Computer Science And Mathematics,
Logic
Keywords:
Boolean algebras; Decidability; Model Theory; QuantifierElimination
Online: 4 October 2022 (12:14:58 CEST)
ARTICLE

doi:10.20944/preprints202007.0415.v4
Subject:
Computer Science And Mathematics,
Logic
Keywords:
Structuralism; Set Theory; Type Theory; Arithmetic Model; Data Type; Tree, Group
Online: 15 August 2022 (04:55:03 CEST)
ARTICLE

doi:10.20944/preprints202202.0183.v1
Subject:
Computer Science And Mathematics,
Logic
Keywords:
categorical syllogisms; categorical propositions; set theory; set equalities
Online: 15 February 2022 (08:35:02 CET)
ARTICLE

doi:10.20944/preprints202112.0507.v1
Subject:
Computer Science And Mathematics,
Logic
Keywords:
equality; Lewis Carroll’s paradox; Liar’s paradox; paradox of the arrow; “Achilles and the Turtle”; Hilbert arithmetic; qubit Hilbert space
Online: 31 December 2021 (11:02:32 CET)
ARTICLE

doi:10.20944/preprints202112.0392.v1
Subject:
Computer Science And Mathematics,
Logic
Keywords:
elementary theory; arity; expansion; aritizability
Online: 23 December 2021 (12:07:21 CET)
SHORT NOTE
Subject:
Computer Science And Mathematics,
Logic
Keywords:
Automate Warehouse; KRR; Answer Set Programming; Clingo; ASPRILO; Behavior Driven Development
Online: 17 May 2021 (10:53:59 CEST)
REVIEW

doi:10.20944/preprints202103.0133.v1
Online: 3 March 2021 (13:33:33 CET)
ARTICLE

doi:10.20944/preprints202010.0560.v1
Subject:
Computer Science And Mathematics,
Logic
Keywords:
satisfiability; SAT; fractal dimension; complex networks
Online: 27 October 2020 (16:12:41 CET)
ARTICLE

doi:10.20944/preprints202006.0276.v2
Subject:
Computer Science And Mathematics,
Logic
Keywords:
Primes; Distribution of Primes; Primes and integers; Additive questions involving primes; Number representations
Online: 14 August 2020 (03:44:15 CEST)
ARTICLE
Subject:
Computer Science And Mathematics,
Logic
Keywords:
Alexander Zenkin's superinduction method; arithmetical operations on huge integers cannot be performed by any physical process; computable set {${\mathcal X} \subseteq N$} whose finiteness remains conjectured; computable set {${\mathcal X} \subseteq N$} whose infiniteness remains conjectured
Online: 25 February 2020 (10:06:45 CET)
ARTICLE

doi:10.20944/preprints201905.0036.v3
Online: 4 June 2019 (11:12:53 CEST)
ARTICLE

doi:10.20944/preprints201902.0156.v4
Subject:
Computer Science And Mathematics,
Logic
Keywords:
DavisPutnamRobinsonMatiyasevich theorem, Diophantine equation which has at most finitely many solutions in \mbox{nonnegative} integers, Hilbert's Tenth Problem, Hilbert's Tenth Problem for Q, Matiyasevich's theorem, recursively enumerable set, Smorynski's theorem
Online: 1 March 2019 (12:58:53 CET)
ARTICLE

doi:10.20944/preprints201902.0159.v1
Subject:
Computer Science And Mathematics,
Logic
Keywords:
Density elimination; Involutive uninorm logic; Standard completeness of IUL; Semilinear substructural logics; Fuzzy logic
Online: 18 February 2019 (10:44:53 CET)
ARTICLE

doi:10.20944/preprints201902.0158.v1
Subject:
Computer Science And Mathematics,
Logic
Keywords:
Density elimination; Pseudouninorm logic; Standard completeness of HpsUL∗; Substructural logics; Fuzzy logic
Online: 18 February 2019 (10:42:15 CET)
ARTICLE

doi:10.20944/preprints201811.0317.v1
Subject:
Computer Science And Mathematics,
Logic
Keywords:
Substructural fuzzy logics; Residuated lattices; Semilinear substructural logics; Standard completeness; Fuzzy logic
Online: 13 November 2018 (14:51:05 CET)
ARTICLE

doi:10.20944/preprints201811.0226.v1
Subject:
Computer Science And Mathematics,
Logic
Keywords:
intuitionistic logic; quantum computing; Kripkestyle semantics
Online: 9 November 2018 (03:03:59 CET)
ARTICLE

doi:10.20944/preprints201810.0645.v1
Subject:
Computer Science And Mathematics,
Logic
Keywords:
adaptive dynamics; evolution; cooperation
Online: 29 October 2018 (02:15:33 CET)
ARTICLE

doi:10.20944/preprints201712.0079.v1
Subject:
Computer Science And Mathematics,
Logic
Keywords:
Łukasiewicz logic; semantics; fuzzifying topology; fuzzifying compactness; strong compactness; fuzzifying locally compactness; locally strong compactness
Online: 13 December 2017 (06:43:52 CET)
ARTICLE

doi:10.20944/preprints201709.0127.v2
Subject:
Computer Science And Mathematics,
Logic
Keywords:
DavisPutnan RobinsonMatiyasevich theorem; Diophantine equation which has at most finitely many solutions in nonnegative integers; Diophantine equation which has at most finitely many solutions in positive integers; Diophantine equation which has at most finitely many integer solutions; Hilbert’s Tenth Problem; Matiyasevich’s theorem; recursively enumerable set; Smoryński’s theorem
Online: 27 September 2017 (04:05:45 CEST)
ARTICLE

doi:10.20944/preprints201702.0017.v1
Subject:
Computer Science And Mathematics,
Logic
Keywords:
neutrosophy; neutrosophic logic; neutrosophic alethic modalities; neutrosophic possibility; neutrosophic necessity; neutrosophic impossibility; neutrosophic temporal modalities; neutrosophic epistemic modalities; neutrosophic doxastic modalities; neutrosophic deontic modalities
Online: 5 February 2017 (09:41:31 CET)
ARTICLE

doi:10.20944/preprints201608.0208.v1
Subject:
Computer Science And Mathematics,
Logic
Keywords:
quantum structures; effect algebras; fuzzy sets; independence
Online: 26 August 2016 (11:18:02 CEST)