Results 51 to 60 of about 268 (109)

A cut-free modal theory of consequence

The cut-free validity theory STV proposed by Barrio, Rosenblatt, and Tajer suffers from incompleteness with respect to its object language validity predicate. The validity predicate of STV fails in validating some valid inferences of its underlying logic,
Bezerra, Edson Vinicius
core   +1 more source

Dialogue on analytical and ab initio methods in attoscience. [PDF]

Eur Phys J D At Mol Opt Phys, 2021
Armstrong GSJ, Khokhlova MA, Labeye M, Maxwell AS, Pisanty E, Ruberti M.   +5 more
europepmc   +1 more source

Gödel's modal interpretation of intuitionistic logic and its proof theory. [PDF]

Mon Hefte Math
von Plato J.
europepmc   +1 more source

Long-Time Dynamics for the Kelvin-Helmholtz Equations Close to Circular Vortex Sheets. [PDF]

Arch Ration Mech Anal
Murgante F, Roulley E, Scrobogna S.
europepmc   +1 more source

Groups acting on trees with Tits' independence property (P): With an appendix by Stephan Tornier. [PDF]

Math Ann
Reid CD, Smith SM.
europepmc   +1 more source

Interpol review of digital evidence for 2019-2022. [PDF]

Forensic Sci Int Synerg, 2023
Reedy P.
europepmc   +1 more source

On the Nuisance Parameter Elimination Principle in Hypothesis Testing. [PDF]

Entropy (Basel)
Flórez Rivera AF, Esteves LG, Fossaluza V, de Bragança Pereira CA.   +3 more
europepmc   +1 more source

A fuzzy graph theoretic approach to face shape recognition using cubic outerplanar structures. [PDF]

Sci Rep
Jaisankar D, Ramalingam S, Zegeye GB.
europepmc   +1 more source

LLpowershap: logistic loss-based automated Shapley values feature selection method. [PDF]

BMC Med Res Methodol
Madakkatel I, Hyppönen E.
europepmc   +1 more source

Bio-Inspired Genetic Algorithms with Formalized Crossover Operators for Robotic Applications. [PDF]

Front Neurorobot, 2017
Zhang J, Kang M, Li X, Liu GY.
europepmc   +1 more source