A Brief History of Singlefold Diophantine Definitions [PDF]
, 2023 Consider an (m + 1)-ary relation R over the set N of natural numbers. Does there exist an arithmetical formula ZΘ(a0, . . . , am, x1, . . . , xK), not involving universal quantifiers, negation, or implication, such that the representation and univocity ...
Omodeo E., Cantone D., Cuzziol L.
core
The Classical Aristotelian hexagon versus the Modern Duality hexagon
, 2011 Peters and Westerståhl (Quantifiers in Language and Logic, 2006), and Westerståhl (New Perspectives on the Square of Opposition, 2011) draw a crucial distinction between the "classical" Aristotelian squares of opposition and the "modern" Duality squares ...
Smessaert, Hans, Hans Smessaert
core +1 more source
Non-Deterministic Semantics for Quantum States. [PDF]
Entropy (Basel), 2020 Jorge JP, Holik F.
europepmc +1 more source
On systematically building a controlled natural language for functional requirements. [PDF]
Empir Softw Eng, 2021 Veizaga A +4 more
europepmc +1 more source
A quantum-inspired classification for random mixed states. [PDF]
Sci RepSergioli G +6 more
europepmc +1 more source
The computational origin of representation. [PDF]
Minds Mach (Dordr), 2021 Piantadosi ST.
europepmc +1 more source
Testing two-step models of negative quantification using a novel machine learning analysis of EEG. [PDF]
Lang Cogn NeurosciRamotowska S +6 more
europepmc +1 more source
An experimental study of classical truth logic on multi-propositions consistent and incompatible: Dual-process theories and modal syllogistic of deduction. [PDF]
PLoS OneWaheed S, Waheed A, Habib S.
europepmc +1 more source
Contextual recommendation modeling in eCoaching with machine learning, X-AI, and semantic ontology. [PDF]
Front Digit HealthChatterjee A, Avazov N.
europepmc +1 more source
Preserving provability over GPU program optimizations with annotation-aware transformations. [PDF]
Form Methods Syst DesŞakar Ö, Safari M, Huisman M, Wijs A.
europepmc +1 more source