A data link protocol developed and used by Philips Electronics is modeled and veriied using I/O automata theory. Correctness is computer-checked with the Coq proof development system. AMS Subject Classiication (1991): 03B15 Mathematical logic and foundations]: Higher-order logic and type theory; 03B35 Mathematical logic and foundations]: Mechanization of proofs and logical operations; 68Q22 Com...

This book is a collection of new essays around the broad central theme of the nature of logic, or the question: ‘what is logic?’ It is a book about logic and philosophy equally. What makes it unusual as a book about logic is that its central focus is on metaphysical rather than epistemological or methodological concerns. By comparison, the question of the metaphysical status of mathematics and ...

this paper presents a mathematical model for a flow shop scheduling problem consisting of m machine and n jobs with fuzzy processing times that can be estimated as independent stochastic or fuzzy numbers. in the traditional flow shop scheduling problem, the typical objective is to minimize the makespan). however,, two significant criteria for each schedule in stochastic models are: expectable m...

in this paper, design and application of a new digital protective relay based on fuzzy logicand value estimation to a radial power system protection was presented. a novel approach based onvalue estimation was investigated for the proposed fuzzy logic based protective relay. in addition to thetheoretical aspect of fuzzy logic, mathematical definition of value estimation, detection andmeasuremen...

We approach the ‘practice based philosophy of logic’ by examining the practice in one specific area of logic, model theory, over the last century. From this we try to draw lessons not for the philosophy of logic but for the philosophy of mathematics. We argue in fact that the philosophical impact of the developments in mathematical logic during the last half of the twentieth century were obscur...

Scienti c Knowledge Representation deals with systems {real or abstract{ that are representable by mathematical models. The eld is very rich, encompassing problems from the realms of physics, engineering and economics, among others. These problems demand both mathematical knowledge of object or situation behaviour as well as knowledge about the applicability and interaction of these various beh...

It is a commonplace that in the development of modern logic towards its actual shape at least two directions or traditions have to be distinguished. These traditions may be called, following the model of Ivor Grattan-Guinness (1988 ), the tradition of the algebra of logic and the tradition of mathematical logic. They are represented by the developments going back to the British algebraist Georg...

A logic is understood here as an algebraic structure L = (FL,SL, 2L) that consists of a set FL of formulas (sentences) plus a class SL of structures and a relation of satisfaction 2L between them. We have the usual metalogical notions like logical consequence and logical equivalence, defined in the usual way. A logic is rigid, if there exists a set Fat ⊆ FL so that the logic can be reduced to t...

In recent years, the model-based safety analysis (MBSA) has been developing continuously. The Functional Failure Identification and Propagation (FFIP) method is a graphics processing technology which supports of fault propagation paths before making costly design commitments. However, traditional FFIP some deficiencies. this paper, we extend functional failure logic (FFL) in introduce concept d...