نتایج جستجو برای: lattice valued logic

تعداد نتایج: 278300  

Journal: :Notre Dame Journal of Formal Logic 1998
Jan A. Bergstra Alban Ponse

We propose a combination of Bochvar’s strict three-valued logic, McCarthy’s sequential three-valued logic, and process algebra via the conditional guard construct. This combination entails the introduction of a new constant meaningless in process algebra. We present an operational semantics in SOS-style, and a completeness result for ACP with conditional guard construct and the proposed logic.

Journal: :Sci. Comput. Program. 2011
Carroline Dewi Puspa Kencana Ramli Hanne Riis Nielson Flemming Nielson

We study the international standard XACML 3.0 for describing security access control policy in a compositional way. Our main contribution is to derive a logic that precisely captures the idea behind the standard and to formally define the semantics of the policy combining algorithms of XACML. To guard against modelling artifacts we provide an alternative way of characterizing the policy combini...

2013
Kirsten Winter Chenyi Zhang Ian J. Hayes Nathan Keynes Cristina Cifuentes Lian Li

Path-sensitive data flow analysis pairs classical data flow analysis with an analysis of feasibility of paths to improve precision. In this paper we propose a framework for path-sensitive backward data flow analysis that is enhanced with an abstraction of the predicate domain. The abstraction is based on a three-valued logic. It follows the strategy that path predicates are simplified if possib...

Journal: :CoRR 2011
Carroline Dewi Puspa Kencana Ramli Hanne Riis Nielson Flemming Nielson

We study the international standard XACML 3.0 for describing security access control policy in a compositional way. Our main contribution is to derive a logic that precisely captures the idea behind the standard and to formally define the semantics of the policy combining algorithms of XACML. To guard against modelling artefacts we provide an alternative way of characterizing the policy combini...

Journal: :Logic Journal of the IGPL 2008
Didier Dubois

A critical view of the alleged significance of Belnap four-valued logic for reasoning under inconsistent and incomplete information is provided. The difficulty lies in the confusion between truth-values and information states, when reasoning about Boolean propositions. So our critique is along the lines of previous debates on the relevance of many-valued logics and especially of the extension o...

Journal: :Discrete Applied Mathematics 1984

Journal: :Banach Center Publications 1993

2008
Ali Massoud Haidar Nawar El Ahdab Hiroyuki Shirahama Ali Alaeldine

Abstract: novel multiple-valued logic clock converters using artificial neural network are proposed. Based on a set of novel neural clock base converters, an essential part of the creative solution to the multiple-valued logic dual-clock or multi-clock circuit synchronization problem is presented in this paper. The multiple-valued logic neuron clock converters are planned to be useful in the mu...

Journal: :Journal of Logic, Language and Information 2020

Journal: :Notre Dame Journal of Formal Logic 1970

نمودار تعداد نتایج جستجو در هر سال

با کلیک روی نمودار نتایج را به سال انتشار فیلتر کنید