Results 241 to 250 of about 165,816 (266)
Some of the next articles are maybe not open access.
A System of Dynamic Modal Logic
Journal of Philosophical Logic, 1998The system of propositional dynamic logic considered here has a wide set of program operations which makes it undecidable (a tiling problem can be encoded). An axiomatization with a completeness proof is presented.
openaire +2 more sources
Logical foundations of knowledge-based recommender systems: A unifying spectrum of alternatives
Information Sciences, 2021Fabiana Vernero, Federica Cena
exaly
The Development of Suitable Inequalities and Their Application to Systems of Logical Equations
Mathematics, 2022, Vadim Feklin, Vladimir Soloviev
exaly
Combination Radiation Therapy and Chemotherapy: A Logical Basis for Their Clinical Use
Ca-A Cancer Journal for Clinicians, 1976S K Carter
exaly
Basic Properties and a Construction Method for Fail-Safe Logical Systems
IEEE Transactions on Electronic Computers, 1967Hisashi Mine
exaly
Matte Blanco and skelton: systems of logic and logic of systems.
The International journal of psycho-analysis, 1989In the light of recent debate regarding the conceptual integrity of Matte Blanco's bi-logical account of the unconscious, a related issue arises concerning how the logical systems are organized. The present article suggests one means by which this may be achieved while still retaining the heuristic value of Matte Blanco's systems.
openaire +1 more source
Analysis and Application of Logical Petri Nets to E-Commerce Systems
IEEE Transactions on Systems, Man, and Cybernetics: Systems, 2014Liang Qi, Mengchu Zhou, Yuyue Du
exaly