Results 321 to 330 of about 3,500,861 (360)
Some of the next articles are maybe not open access.
Logic Programming and Default Logic
International Journal on Artificial Intelligence Tools, 1994We present several ideas of increasing complexity how to translate default theories to normal logic programs that make direct use of the deductive capacity of logic programming. We show the limitations of simple, ad hoc approaches, and arrive at a more general construction; its main property is that the answer substitutions computed by the logic ...
openaire +2 more sources
Service-dominant logic: continuing the evolution
, 2008S. Vargo, R. Lusch
semanticscholar +1 more source
Quantum logic and linear logic
International Journal of Theoretical Physics, 1994By tradition, the subject of quantum logic is the lattices of closed subspaces of Hilbert spaces or, more abstractly, orthomodular lattices. \textit{D. J. Foulis} showed in Can. J. Math. 17, 40-51 (1965; Zbl 0146.029) that an orthomodular lattice can be coordinatized by a Baer \(*\)- semigroup. On the other hand, \textit{C. J. Mulvey} [Rend. Circ. Math.
openaire +3 more sources
The Logical and the Extra-Logical
19741. Medieval logicians called words like ‘every’, ‘not’, ‘is’ and’ some’ “syncategorematic.” Today, such words — along with propositional constants such as ‘and’, ‘if…then’ and ‘or’ — are referred to as logical or formative signs in contrast to extra-logical or descriptive signs.
openaire +2 more sources
Institutions and axioms: an extension and update of service-dominant logic
, 2016S. Vargo, R. Lusch
semanticscholar +1 more source
An Experiment in Linguistic Synthesis with a Fuzzy Logic Controller
Int. J. Man Mach. Stud., 1999E. Mamdani, S. Assilian
semanticscholar +1 more source