Sciweavers

3624 search results - page 15 / 725

» Abstract Algebraic Logic

65

EUSFLAT
2009

96views Fuzzy Logic» more EUSFLAT 2009»

Representation of States on MV-algebras by Probabilities on R-generated Boolean Algebras

14 years 9 months ago

Representation of States on MV-algebras by Probabilities on R-generated Boolean Algebras

Download library.utia.cas.cz

Brunella Gerla, Tomás Kroupa

claim paper

Read More »

70

EUSFLAT
2009

136views Fuzzy Logic» more EUSFLAT 2009»

A process Algebra Approach to Fuzzy Reasoning

14 years 9 months ago

A process Algebra Approach to Fuzzy Reasoning

Download www.sti.uniurb.it

Liliana D'Errico, Michele Loreti

claim paper

Read More »

89

NDJFL
1998

119views more NDJFL 1998»

Bochvar-McCarthy Logic and Process Algebra

14 years 11 months ago

Bochvar-McCarthy Logic and Process Algebra

Download staff.science.uva.nl

We propose a combination of Bochvar’s strict three-valued logic, McCarthy’s sequential three-valued logic, and process algebra via the condi

Jan A. Bergstra, Alban Ponse

claim paper

Read More »

87

APAL
2010

90views more APAL 2010»

Canonical extensions for congruential logics with the deduction theorem

14 years 12 months ago

Canonical extensions for congruential logics with the deduction theorem

Download www.math.ru.nl

We introduce a new and general notion of canonical extension for algebras in the algebraic counterpart AlgS of any finitary and congruential logic S. This definition is logic-base...

Mai Gehrke, Ramon Jansana, Alessandra Palmigiano

claim paper

Read More »

103

CMSB
2008
Springer

96views Applied Computing» more CMSB 2008»

Integrated Analysis from Abstract Stochastic Process Algebra Models

15 years 1 months ago

Integrated Analysis from Abstract Stochastic Process Algebra Models

Download homepages.inf.ed.ac.uk

Stochastic Process Algebra Models Jane Hillston. University of Edinburgh.

Jane Hillston, Federica Ciocchetta, Adam Duguid, S...

claim paper

Read More »

« Prev « First page 15 / 725 Last » Next »