Results 121 to 130 of about 771,186 (237)

Equations of Disturbed Motion of the Moving Part of the Gyroscope Suspension. [PDF]

Sensors (Basel), 2022
Korobiichuk I, Mel'nick V, Kosova V, Maksymenko K.   +3 more
europepmc   +1 more source

Argument-based inductive logics, with coverage of compromised perception. [PDF]

Front Artif Intell, 2023
Bringsjord S, Giancola M, Govindarajulu NS, Slowik J, Oswald J, Bello P, Clark M.   +6 more
europepmc   +1 more source

Satisfiability in Łukasiewicz logic and its unbounded relative [PDF]

Zuzana Haniková, Filip Jankovec
openalex   +2 more sources

A Feedback Control Sensing System of an Electrorheological Brake to Exert a Constant Pressing Force on an Object. [PDF]

Sensors (Basel), 2023
Spotowski T, Osowski K, Musiałek I, Olszak A, Kęsy A, Kęsy Z, Choi S.   +6 more
europepmc   +1 more source

A Curry-Howard Correspondence for the Minimal Fragment of Łukasiewicz Logic [PDF]

, 2018
Rob Arthan, Paulo Oliva
openalex   +1 more source

On Affine Logic and Łukasiewicz Logic [PDF]

, 2014
Rob Arthan, Paulo Oliva
openalex   +1 more source

Logic in Poland in the 20th Century

Studia Humana
After Poland gained independence in 1918, logic developed very quickly both as a scientific direction and as a taught discipline. This introduction to the special issue “Logic in Poland in the 20th Century,” published in Volume 13:1 (2024) and Volume 13 ...
Woleński Jan, Schumann Andrew
doaj   +1 more source

Super-Łukasiewicz implicational logics [PDF]

, 1978
Yuichi Komori
openalex   +1 more source

A general view of the algebraic semantics of Łukasiewicz logic with product [PDF]

, 2014
Serafina Lapenta, Ioana Leuştean
openalex   +1 more source

Symbolic Knowledge Extraction from Trained Neural Networks Governed by Łukasiewicz Logics

, 2011
Carlos Leandro, Hélder Pita, Luís Monteiro   +2 more
openalex   +2 more sources