|
Showing 1 - 2 of
2 matches in All Departments
This book includes selected papers from the ECCOMAS Thematic
Conference on Multibody Dynamics, that took place in Barcelona,
Spain, from June 29 to July 2, 2015. By having its origin in
analytical and continuum mechanics, as well as in computer science
and applied mathematics, multibody dynamics provides a basis for
analysis and virtual prototyping of innovative applications in many
fields of contemporary engineering. With the utilization of
computational models and algorithms that classically belonged to
different fields of applied science, multibody dynamics delivers
reliable simulation platforms for diverse highly-developed
industrial products such as vehicle and railway systems,
aeronautical and space vehicles, robotic manipulators, smart
structures, biomechanical systems, and nanotechnologies.
The purpose of this monograph is to develop a very general approach
to the algebra ization of sententiallogics, to show its results on
a number of particular logics, and to relate it to other existing
approaches, namely to those based on logical matrices and the
equational consequence developed by Blok, Czelakowski, Pigozzi and
others. The main distinctive feature of our approachlies in the
mathematical objects used as models of a sententiallogic: We use
abstract logics, while the dassical approaches use logical
matrices. Using models with more structure allows us to reflect in
them the metalogical properties of the sentential logic. Since an
abstract logic can be viewed as a "bundle" or family of matrices,
one might think that the new models are essentially equivalent to
the old ones; but we believe, after an overall appreciation of the
work done in this area, that it is precisely the treatment of an
abstract logic as a single object that gives rise to a useful -and
beautiful- mathematical theory, able to explain the connections,
not only at the logical Ievel but at the metalogical Ievel, between
a sentential logic and the particular dass of models we associate
with it, namely the dass of its full models. Traditionally logical
matrices have been regarded as the most suitable notion of model in
the algebraic studies of sentential logics; and indeed this notion
gives sev eral completeness theorems and has generated an
interesting mathematical theory."
|
You may like...
The Wonder Of You
Elvis Presley, Royal Philharmonic Orchestra
CD
R71
R60
Discovery Miles 600
Gloria
Sam Smith
CD
R238
R195
Discovery Miles 1 950
Honey & Spice
Bolu Babalola
Paperback
(1)
R469
Discovery Miles 4 690
Loot
Nadine Gordimer
Paperback
(2)
R398
R330
Discovery Miles 3 300
|