Logic

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)

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)

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)

Thu, 10 January 2019

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)

Tue, 13 November 2018

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)

Fri, 9 November 2018

Subject: Mathematics & Computer Science, Logic; intuitionistic logic; quantum computing; Kripke-style semantics

Online: 9 November 2018 (03:03:59 CET)

Wed, 13 December 2017

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)

Wed, 27 September 2017

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)

Sun, 5 February 2017

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)

Fri, 26 August 2016

Subject: Mathematics & Computer Science, Logic; quantum structures; effect algebras; fuzzy sets; independence

Online: 26 August 2016 (11:18:02 CEST)

##### Weekly/Monthly article feeds

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