Results 111 to 120 of about 9,148 (294)
Logic, Geometry And Probability Theory [PDF]
, 2013 We discuss the relationship between logic, geometry and probability theory under the light of a novel approach to quantum probabilities which generalizes the method developed by R. T.
Federico Holik, Holik, Federico
core
International Journal of Robust and Nonlinear Control, EarlyView.ABSTRACT This paper establishes an implementation‐aware framework for Barrier Function Adaptation (BFA) and shows that discrete‐time realizations fundamentally alter the logic of final‐set adjustment. In particular, sufficient conditions are derived to preserve the key benefits of BFA (predefined performance, gain adaptation with uncertain perturbation
Luis Ovalle +3 more
wiley +1 more source
MacColl’s influences on Peirce and Schröder
Philosophia Scientiæ, 2011 The contributions to logic of MacColl and Charles Sanders Peirce (1839-1914) were the two most profound influences upon the work of Ernst Schröder (1841-1902) in algebraic logic. In his Vorlesungen über die Algebra der Logik, Schröder referred to MacColl
Irving H. Anellis
doaj +1 more source
Algebraic Approach to Algorithmic Logic [PDF]
Formalized Mathematics, 2014 Summary We introduce algorithmic logic - an algebraic approach according to [25]. It is done in three stages: propositional calculus, quantifier calculus with equality, and finally proper algorithmic logic. For each stage appropriate signature and theory are defined.
openaire +2 more sources
State space c-reductions for concurrent systems in rewriting logic
, 2011 We present c-reductions, a state space reduction technique. The rough idea is to exploit some equivalence relation on states (possibly capturing system regularities) that preserves behavioral properties, and explore the induced quotient system.
Lluch-Lafuente, Alberto +8 more
core +1 more source
, 2013 A study of the notions of Smarandache n-structure CI-algebras and Smarandache weak BE-algebras. Smarandache algebraic structures have been studied in a series of eleven books by W. B.
Saeid, Arsham Borumand
core +1 more source
Outracing a National Level Model Racing Car Champion: A Hybrid Model‐Based Data‐Driven Approach
Journal of Field Robotics, EarlyView.ABSTRACT This paper discusses lap time optimization, focusing on a single lap without considering opponents in autonomous racing. The paper presents a control and optimization architecture composed of a model‐based low level controller and a higher level iterative learning algorithm with the goal of obtaining the fastest qualifying lap in autonomous ...
Mustafa Alp +3 more
wiley +1 more source
Dualising Intuitionistic Negation
Principia: An International Journal of Epistemology, 2009 One of Da Costa’s motives when he constructed the paraconsistent logic C! was to dualise the negation of intuitionistic logic. In this paper I explore a different way of going about this task.
Graham Priest
doaj
Fuzzy ideals and fuzzy congruences of co-residuated lattices [PDF]
Journal of Hebei University of Science and TechnologyIn order to expand the theory of fuzzy logic algebra, the fuzzy ideals and fuzzy congruences of co-residuated lattices and their interrelationships were studied.
Xinyue HAN, Wei YAO
doaj +1 more source
On Paraconsistent Weak Kleene Logic: Axiomatisation and algebraic analysis [PDF]
, 2017 Paraconsistent Weak Kleene logic (PWK) is the 3-valued logic with two designated values defined through the weak Kleene tables. This paper is a first attempt to investigate PWK within the perspective and methods of abstract algebraic logic (AAL). We give
GIL FEREZ, JOSE' +4 more
core +1 more source