97 search results - page 14 / 20 » Semi-Contraction: Axioms and Construction |
CORR
2008
Springer
13 years 7 months ago
2008
Springer
Propositional canonical Gentzen-type systems, introduced in [2], are systems which in addition to the standard axioms and structural rules have only logical rules in which exactly ...
JOT
2007
13 years 7 months ago
2007
The importance of software measurement is increasing leading to development of new measurement techniques. As the development of object-oriented software is rising, more and more ...
MCU
1998
13 years 9 months ago
1998
The paper extends some of the most recently obtained results on the computational universality of speci c variants of H systems (e.g. with regular sets of rules) and proves that we...
JANCL
2008
13 years 7 months ago
2008
This paper employs epistemic logic to investigate the philosophical foundations of Bayesian updating in belief revision. By Bayesian updating, we understand the tenet that an agen...
CADE
2001
Springer
14 years 8 months ago
2001
Springer
Canonical propositional Gentzen-type systems are systems which in addition to the standard axioms and structural rules have only pure logical rules with the subformula property, in...