3624 search results - page 15 / 725 » Abstract Algebraic Logic |
EUSFLAT
2009
15 years 1 months ago
2009
125
click to vote
NDJFL
1998
15 years 3 months ago
1998
We propose a combination of Bochvar’s strict three-valued logic, McCarthy’s sequential three-valued logic, and process algebra via the condi
120
click to vote
APAL
2010
15 years 4 months ago
2010
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...
143
click to vote
CMSB
2008
Springer
15 years 5 months ago
2008
Springer
Stochastic Process Algebra Models Jane Hillston. University of Edinburgh.