Mon, 18 February 2019
  • Page
  • of
  • 1
Preprint ARTICLE Download: 0| View: 44| Comments: 0
Subject: Mathematics & Computer Science, Logic; Density elimination; Involutive uninorm logic; Standard completeness of IUL; Semilinear substructural logics; Fuzzy logic
Online: 18 February 2019 (10:44:53 CET)
Show abstract| Download PDF| Share
Preprint ARTICLE Download: 0| View: 41| Comments: 0
Subject: Mathematics & Computer Science, Logic; Density elimination; Pseudo-uninorm logic; Standard completeness of HpsUL∗;Substructural logics; Fuzzy logic
Online: 18 February 2019 (10:42:15 CET)
Show abstract| Download PDF| Share
Preprint ARTICLE Download: 0| View: 43| Comments: 0
Subject: Mathematics & Computer Science, Logic; Davis-Putnam-Robinson-Matiyasevich theorem, Diophantine equation which has at most finitely many solutions in \mbox{non-negative} 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)
Show abstract| Download PDF| Share
Thu, 10 January 2019
Preprint ARTICLE Download: 14| View: 124| Comments: 0 | doi:10.20944/preprints201811.0301.v6
Subject: Mathematics & Computer Science, Logic; Brocard's problem; Brocard-Ramanujan 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)
Show abstract| Download PDF| Share
Tue, 13 November 2018
Preprint ARTICLE Download: 27| View: 86| Comments: 0 | doi:10.20944/preprints201811.0317.v1
Subject: Mathematics & Computer Science, Logic; Substructural fuzzy logics; Residuated lattices; Semilinear substructural logics; Standard completeness; Fuzzy logic
Online: 13 November 2018 (14:51:05 CET)
Show abstract| Download PDF| Share
Fri, 9 November 2018
Preprint ARTICLE Download: 30| View: 78| Comments: 0 | doi:10.20944/preprints201811.0226.v1
Subject: Mathematics & Computer Science, Logic; intuitionistic logic; quantum computing; Kripke-style semantics
Online: 9 November 2018 (03:03:59 CET)
Show abstract| Download PDF| Share
Wed, 13 December 2017
Preprint ARTICLE Download: 260| View: 305| Comments: 0 | doi:10.20944/preprints201712.0079.v1
Subject: Mathematics & Computer Science, Logic; Łukasiewicz logic; semantics; fuzzifying topology; fuzzifying compactness; strong compactness; fuzzifying locally compactness; locally strong compactness
Online: 13 December 2017 (06:43:52 CET)
Show abstract| Download PDF| Share
Wed, 27 September 2017
Preprint ARTICLE Download: 276| View: 371| Comments: 0 | doi:10.20944/preprints201709.0127.v2
Subject: Mathematics & Computer Science, Logic; Davis-Putnan Robinson-Matiyasevich theorem; Diophantine equation which has at most finitely many solutions in non-negative 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)
Show abstract| Download PDF| Share
Sun, 5 February 2017
Preprint ARTICLE Download: 630| View: 748| Comments: 0 | doi:10.20944/preprints201702.0017.v1
Subject: Mathematics & Computer Science, Logic; 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)
Show abstract| Download PDF| Share
Fri, 26 August 2016
Preprint ARTICLE Download: 1061| View: 1022| Comments: 0 | doi:10.20944/preprints201608.0208.v1
Subject: Mathematics & Computer Science, Logic; quantum structures; effect algebras; fuzzy sets; independence
Online: 26 August 2016 (11:18:02 CEST)
Show abstract| Download PDF| Share
Weekly/Monthly article feeds

Choose the subject area that interest you and we will send you notifications of new preprints at your preferred frequency.