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
core +1 more source
Update rules and semantic universals. [PDF]
Linguist Philos, 2023 Incurvati L, Sbardolini G.
europepmc +1 more source
Visualizing Quantum Circuit Probability: Estimating Quantum State Complexity for Quantum Program Synthesis. [PDF]
Entropy (Basel), 2023 Bach BG, Kundu A, Acharya T, Sarkar A.
europepmc +1 more source
Synthesising Programs with Non-trivial Constants. [PDF]
J Autom Reason, 2023 Abate A +8 more
europepmc +1 more source
Linguistic issues behind visual question answering. [PDF]
Lang Linguist Compass, 2021 Bernardi R, Pezzelle S.
europepmc +1 more source
Design and Definition of a New Decision Support System Aimed to the Hierarchization of Patients Candidate to Be Admitted to Intensive Care Units. [PDF]
Healthcare (Basel), 2022 Casal-Guisande M +3 more
europepmc +1 more source
Undercompression errors as evidence for conceptual primitives. [PDF]
Front Psychol, 2023 Guasti MT, Alexiadou A, Sauerland U.
europepmc +1 more source
Completeness for the Complexity Class ∀∃R and Area-Universality. [PDF]
Discrete Comput Geom, 2023 Dobbins MG +3 more
europepmc +1 more source
Indefinite Pronouns Optimize the Simplicity/Informativeness Trade-Off. [PDF]
Cogn Sci, 2022 Denić M +2 more
europepmc +1 more source