Results 271 to 280 of about 1,020,940 (299)

Scholastic Logic and Cartesian Logic

Perspectives on Science, 2018
info:eu-repo/semantics ...
openaire   +2 more sources

The underlying logic of Hoare logic

Bull. EATCS, 2000
Summary: Formulas of Hoare logic are asserted programs \(\phi\Pi\psi\), where \(\Pi\) is a program and \(\phi\), \(\psi\) are assertions. The language of programs varies; in the survey by \textit{K. R. Apt} [in: F. V. Jensen et al. (eds.), Proceedings 5th Scandinavian Logic Symposium, Aalborg, 1979, 1-44 (1979; Zbl 0426.68004)], one finds the language ...
Andreas Blass, Yuri Gurevich
openaire   +2 more sources

Logic, Logic, and Logic

History and Philosophy of Logic, 2000
openaire   +1 more source

Logic and logic programming

Communications of the ACM, 1992
openaire   +1 more source

On the logic of quantum logic

Journal of Philosophical Logic, 1977
openaire   +1 more source

Complexity and expressive power of logic programming

ACM Computing Surveys, 2001
Thomas Eiter, Georg Gottlob
exaly  

Service-dominant logic: continuing the evolution

Journal of the Academy of Marketing Science, 2007
Stephen Vargo, Robert F Lusch
exaly  

Tribotronic Logic Circuits and Basic Operations

Advanced Materials, 2015
Zhong Lin Wang, Chi Zhang, Chang Bao Han
exaly  

LOGIC: A Coq Library for Logics

2022
Yichen Tao, Qinxiang Cao
openaire   +2 more sources

Competing through service: Insights from service-dominant logic

Journal of Retailing, 2007
Stephen Vargo, Robert F Lusch
exaly