Results 91 to 100 of about 27,177 (320)
Logic + probabilistic programming + causal laws. [PDF]
R Soc Open Sci, 2023 Belle V.
europepmc +1 more source
Boolean representation trough propositional calculus [PDF]
, 1955 Leon Henkin
openalex +1 more source
Journal of the Association for Information Science and Technology, EarlyView.Abstract The term semantic primitives refers to a set of basic, atomic concepts from which all other (compound) concepts are constructed. It presupposes the principle of compositionality—the idea that complex items or expressions can be formed by combining simpler constituents.
Birger Hjørland
wiley +1 more source
Output feedback robust stabilization of distributed‐order systems
Asian Journal of Control, EarlyView.Abstract This paper addresses the challenge of robust fast stabilization for a class of dynamical systems characterized by slow and ultra‐slow dynamics. The system model is approximated using a distributed‐order derivative of the measured output, which captures the influence of the control input, system dynamics, and external disturbances.
Aldo Jonathan Muñoz‐Vázquez +3 more
wiley +1 more source
On the Mutual Definability of the Notions of Entailment, Rejection, and Inconsistency
Axioms, 2016 In this paper, two axiomatic theories T− and T′ are constructed, which are dual to Tarski’s theory T+ (1930) of deductive systems based on classical propositional calculus.
Urszula Wybraniec-Skardowska
doaj +1 more source
Monocular visual servo control of a quadcopter for crossing windows, doors, and corridors
Asian Journal of Control, EarlyView.Abstract This paper proposes a sequential visual servo control scheme for quadcopters, where the main goal is to drive a quadcopter to a desired pose while crossing windows, doors, or corridors using only visual feedback. This control scheme is composed of two stages that act in sequence: the approaching and pose regulation phases.
Carlos A. Toro‐Arcila +2 more
wiley +1 more source
Deduction in Non-Fregean Propositional Logic SCI
Axioms, 2019 We study deduction systems for the weakest, extensional and two-valued non-Fregean propositional logic SCI . The language of SCI is obtained by expanding the language of classical propositional logic with a new binary connective ≡ that ...
Joanna Golińska-Pilarek +1 more
doaj +1 more source
Modern perspectives in Proof Theory. [PDF]
Philos Trans A Math Phys Eng Sci, 2023 Aguilera JP, Pakhomov F, Weiermann A.
europepmc +1 more source
Network Goodness Calculus Propositions
AppliedMathWe coin the term “network goodness” for a value we define for a network embedded in a given environment as a metric that describes the suitability of that network for meeting a demand. Three formulas are proposed to calculate the metric from three variable values. The first variable considers parts of the environment gravitated by the network.
Marina Bershadsky +2 more
openaire +3 more sources
Algebraic proof of the separation theorem on classical propositional calculus [PDF]
, 1966 Tsutomu Hosoi
openalex +1 more source