Logic
ARTICLE

doi:10.20944/preprints202404.0372.v1
Subject:
Computer Science And Mathematics,
Logic
Keywords:
SensorControlled Systems; Fuzzy Linear Systems of Equations; Inverse Problem
Online: 4 April 2024 (12:36:42 CEST)
Thu, 28 March 2024
ARTICLE

doi:10.20944/preprints202403.1719.v1
Subject:
Computer Science And Mathematics,
Logic
Keywords:
Knowledge, information, axiomatic system, informatics, computer science
Online: 28 March 2024 (09:29:26 CET)
Mon, 11 March 2024
ARTICLE

doi:10.20944/preprints202403.0286.v2
Subject:
Computer Science And Mathematics,
Logic
Keywords:
LTLf; Declare; Verified Artificial Intelligence; Equational logic and rewriting
Online: 11 March 2024 (13:18:45 CET)
Wed, 6 March 2024
ARTICLE

doi:10.20944/preprints202403.0286.v1
Subject:
Computer Science And Mathematics,
Logic
Keywords:
LTLf; Declare; Verified Artificial Intelligence; Equational logic and rewriting
Online: 6 March 2024 (07:31:34 CET)
Tue, 16 January 2024
ARTICLE

doi:10.20944/preprints202307.2063.v10
Subject:
Computer Science And Mathematics,
Logic
Keywords:
constructive mathematics; constructively defined algorithms; current mathematical knowledge; informal mathematics; known algorithms
Online: 16 January 2024 (06:42:23 CET)
Fri, 8 December 2023
ARTICLE

doi:10.20944/preprints202312.0602.v1
Subject:
Computer Science And Mathematics,
Logic
Keywords:
classical propositional calculus; zeroorder logic; zerothorder logic; consistency in the traditional sense; consistency in the absolute sense; inconsistency; metalogic; metatheory
Online: 8 December 2023 (10:31:14 CET)
Wed, 6 December 2023
ARTICLE

doi:10.20944/preprints202307.2063.v9
Subject:
Computer Science And Mathematics,
Logic
Keywords:
constructive algorithms; constructive mathematics; current knowledge in a scientific discipline; current mathematical knowledge; informal mathematics; known algorithms
Online: 6 December 2023 (12:11:37 CET)
Wed, 15 November 2023
ARTICLE

doi:10.20944/preprints202303.0397.v2
Subject:
Computer Science And Mathematics,
Logic
Keywords:
CVM; Crossbarbased verification; Modeling technique
Online: 15 November 2023 (10:06:43 CET)
Thu, 19 October 2023
ARTICLE

doi:10.20944/preprints202307.2063.v8
Subject:
Computer Science And Mathematics,
Logic
Keywords:
conjecturally infinite sets X ⊆ N; constructive algorithms; current mathematical knowledge; informal notions; known algorithms; known elements of N
Online: 19 October 2023 (04:49:53 CEST)
Tue, 10 October 2023
ARTICLE

doi:10.20944/preprints202307.2063.v7
Subject:
Computer Science And Mathematics,
Logic
Keywords:
conjecturally infinite sets X N; constructive algorithms; current mathematical knowledge; informal notions, known algorithms, known elements of N
Online: 10 October 2023 (10:05:52 CEST)
Fri, 22 September 2023
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)
Fri, 15 September 2023
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)
Fri, 8 September 2023
ARTICLE

doi:10.20944/preprints202308.1640.v4
Subject:
Computer Science And Mathematics,
Logic
Keywords:
grammar; natural language; logic programming; syntactic analysis; lambda calculus
Online: 8 September 2023 (07:38:41 CEST)
Thu, 7 September 2023
ARTICLE

doi:10.20944/preprints202307.2063.v5
Subject:
Computer Science And Mathematics,
Logic
Keywords:
conjecturally infinite sets X N; constructive algorithms; current mathematical knowledge; informal notions; known algorithms; known elements of N
Online: 7 September 2023 (05:01:30 CEST)
Thu, 31 August 2023
ARTICLE

doi:10.20944/preprints202307.2063.v4
Subject:
Computer Science And Mathematics,
Logic
Keywords:
conjecturally infinite sets X N; constructive algorithms; current mathematical knowledge; informal notions; known algorithms; known elements of N
Online: 31 August 2023 (03:53:31 CEST)
Tue, 29 August 2023
ARTICLE

doi:10.20944/preprints202308.1640.v3
Subject:
Computer Science And Mathematics,
Logic
Keywords:
grammar; natural language; logic programming; syntactic analysis; lambda calculus
Online: 29 August 2023 (08:46:24 CEST)
Fri, 25 August 2023
ARTICLE

doi:10.20944/preprints202308.1640.v2
Subject:
Computer Science And Mathematics,
Logic
Keywords:
grammar; natural language; logic programming; syntactic analysis; lambda calculus.
Online: 25 August 2023 (08:18:16 CEST)
Wed, 23 August 2023
ARTICLE

doi:10.20944/preprints202308.1640.v1
Subject:
Computer Science And Mathematics,
Logic
Keywords:
grammar; natural language; logic programming; syntactic analysis
Online: 23 August 2023 (08:50:02 CEST)
Tue, 15 August 2023
ARTICLE

doi:10.20944/preprints202307.2063.v3
Subject:
Computer Science And Mathematics,
Logic
Keywords:
constructive algorithms; current mathematical knowledge; epistemic notions; informal notions; known algorithms; known elements of N
Online: 15 August 2023 (08:49:43 CEST)
Fri, 4 August 2023
ARTICLE

doi:10.20944/preprints202307.2063.v2
Subject:
Computer Science And Mathematics,
Logic
Keywords:
composite numbers of the form 22n + 1; constructive algorithms; current mathematical knowledge; decidable sets X N; epistemic notions, informal notions, known algorithms, known elements of N; primes of the form n2 + 1; primes of the form n! + 1; primes of the form 22n + 1
Online: 4 August 2023 (07:45:49 CEST)
Mon, 31 July 2023
ARTICLE

doi:10.20944/preprints202307.2063.v1
Subject:
Computer Science And Mathematics,
Logic
Keywords:
composite numbers of the form 2^(2^n)+1, constructive algorithms, current mathematical knowledge, decidable sets X⊆N, epistemic notions, informal notions, known algorithms, known elements of N, primes of the form n^2+1, primes of the form n!+1, primes of the form 2^(2^n)+1
Online: 31 July 2023 (10:54:27 CEST)
Mon, 17 July 2023
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)
Wed, 17 May 2023
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)
Wed, 26 April 2023
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)
Tue, 11 April 2023
ARTICLE

doi:10.20944/preprints202304.0178.v1
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: 11 April 2023 (03:05:19 CEST)
Tue, 21 March 2023
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)
Mon, 20 March 2023
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)
Mon, 26 December 2022
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)
Wed, 14 December 2022
ARTICLE

doi:10.20944/preprints202212.0255.v1
Subject:
Computer Science And Mathematics,
Logic
Keywords:
forcing; secondorder arithmetic; Comprehension; Choice; Sacks forcing
Online: 14 December 2022 (09:58:35 CET)
Mon, 14 November 2022
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)
Tue, 4 October 2022
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)
Fri, 23 September 2022
ARTICLE

doi:10.20944/preprints202209.0373.v1
Subject:
Computer Science And Mathematics,
Logic
Keywords:
information theory; number theory; theoretical physics; artificial intelligence
Online: 23 September 2022 (14:19:16 CEST)
Mon, 15 August 2022
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)
Tue, 15 February 2022
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)
Fri, 31 December 2021
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)
Thu, 23 December 2021
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)
Mon, 20 September 2021
ARTICLE

doi:10.20944/preprints202007.0415.v3
Subject:
Computer Science And Mathematics,
Logic
Keywords:
Structuralism; Set Theory; Type Theory; Arithmetic Model; Data Type; Tree, Group
Online: 20 September 2021 (15:11:14 CEST)
Mon, 17 May 2021
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)
Wed, 3 March 2021
REVIEW

doi:10.20944/preprints202103.0133.v1
Online: 3 March 2021 (13:33:33 CET)
Tue, 27 October 2020
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)
Fri, 14 August 2020
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)
Sun, 21 June 2020
ARTICLE

doi:10.20944/preprints202006.0276.v1
Subject:
Computer Science And Mathematics,
Logic
Keywords:
Primes; Distribution of Primes; Primes and integers; Additive questions involving primes; Number representations
Online: 21 June 2020 (14:52:12 CEST)
Tue, 25 February 2020
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)
Wed, 5 June 2019
ARTICLE

doi:10.20944/preprints201811.0301.v8
Subject:
Computer Science And Mathematics,
Logic
Keywords:
Brocard's problem; BrocardRamanujan equation $x!+1=y^2$; composite Fermat numbers; Erd\"os' equation $x(x+1)=y!$; prime numbers of the form $n^2+1$; prime numbers of the form $n!+1$; Sophie Germain primes; twin primes
Online: 5 June 2019 (08:37:55 CEST)
Tue, 4 June 2019
ARTICLE

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

doi:10.20944/preprints201905.0036.v1
Online: 6 May 2019 (08:34:22 CEST)
Tue, 9 April 2019
ARTICLE
Subject:
Computer Science And Mathematics,
Logic
Keywords:
Brocard's problem; BrocardRamanujan equation $x!+1=y^2$; composite Fermat numbers; Erd\"os' equation $x(x+1)=y!$; prime numbers of the form $n^2+1$; prime numbers of the form $n!+1$; Sophie Germain primes; twin primes
Online: 9 April 2019 (05:40:44 CEST)
Fri, 1 March 2019
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)
Mon, 25 February 2019
ARTICLE

doi:10.20944/preprints201902.0156.v3
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: 25 February 2019 (15:09:05 CET)
Tue, 19 February 2019
ARTICLE

doi:10.20944/preprints201902.0156.v2
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: 19 February 2019 (11:16:51 CET)
Mon, 18 February 2019
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/preprints201902.0156.v1
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: 18 February 2019 (10:34:28 CET)
Thu, 10 January 2019
ARTICLE

doi:10.20944/preprints201811.0301.v6
Subject:
Computer Science And Mathematics,
Logic
Keywords:
Brocard's problem; BrocardRamanujan equation $x!+1=y^2$; composite Fermat numbers; Erdös' equation $x(x+1)=y!$; prime numbers of the form $n^2+1$; prime numbers of the form $n!+1$; Richert's lemma; Sophie Germain primes; Wilson primes; twin prime conjecture
Online: 10 January 2019 (07:08:38 CET)
Thu, 3 January 2019
ARTICLE

doi:10.20944/preprints201811.0301.v5
Subject:
Computer Science And Mathematics,
Logic
Keywords:
Brocard's problem; BrocardRamanujan equation $x!+1=y^2$; composite Fermat numbers; Erdös' equation $x(x+1)=y!$; prime numbers of the form $n^2+1$; prime numbers of the form $n!+1$; Richert's lemma; twin prime conjecture
Online: 3 January 2019 (09:43:19 CET)
Thu, 29 November 2018
ARTICLE

doi:10.20944/preprints201811.0301.v4
Subject:
Computer Science And Mathematics,
Logic
Keywords:
Brocard's problem; BrocardRamanujan equation; composite Fermat numbers; halting of a Turing machine; prime numbers of the form $n^2+1$; prime numbers of the form $n!+1$; Richert's lemma; twin prime conjecture
Online: 29 November 2018 (05:28:14 CET)
Tue, 20 November 2018
ARTICLE

doi:10.20944/preprints201811.0301.v3
Subject:
Computer Science And Mathematics,
Logic
Keywords:
Brocard's problem; BrocardRamanujan equation; composite Fermat numbers; Dickson's conjecture; halting of a Turing machine; prime numbers of the form $n^2+1$; prime numbers of the form $n!+1$; Richert's lemma; twin prime conjecture
Online: 20 November 2018 (06:57:27 CET)
Fri, 16 November 2018
ARTICLE

doi:10.20944/preprints201811.0301.v2
Subject:
Computer Science And Mathematics,
Logic
Keywords:
Brocard's problem; BrocardRamanujan equation; composite Fermat numbers; Dickson's conjecture; halting of a Turing machine; prime numbers of the form $n^2+1$; prime numbers of the form $n!+1$; Richert's lemma; twin prime conjecture
Online: 16 November 2018 (11:40:40 CET)
Tue, 13 November 2018
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.0301.v1
Subject:
Computer Science And Mathematics,
Logic
Keywords:
Brocard's problem; BrocardRamanujan equation; composite Fermat numbers; Dickson's conjecture; halting of a Turing machine; prime numbers of the form $n^2+1$; prime numbers of the form $n!+1$; Richert's lemma; twin prime conjecture
Online: 13 November 2018 (06:58:44 CET)
Fri, 9 November 2018
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)
Mon, 29 October 2018
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)
Wed, 13 December 2017
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)
Wed, 27 September 2017
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)
Tue, 26 September 2017
ARTICLE

doi:10.20944/preprints201709.0127.v1
Subject:
Computer Science And Mathematics,
Logic
Keywords:
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: 26 September 2017 (04:44:11 CEST)
Sun, 5 February 2017
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)
Fri, 26 August 2016
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)