Results 231 to 240 of about 168,343 (247)

Suppes-style sequent calculus for probability logic

Journal of Logic and Computation, 2015
M. Boricic
semanticscholar   +1 more source

Willingness to provide personal information: Perspective of privacy calculus in IoT services

Computers in Human Behavior, 2019
Dongyeon Kim, Jae-Hyeon Ahn
exaly  

A Focused Sequent Calculus for Higher-Order Logic

International Joint Conference on Automated Reasoning, 2014
Fredrik Lindblad
semanticscholar   +1 more source

SEQUENT CALCULUS FOR INTUITIONISTIC LOGIC

2001
openaire   +2 more sources

First-order sequent calculus

2005
openaire   +1 more source

Finite element exterior calculus, homological techniques, and applications

Acta Numerica, 2006
Douglas N Arnold, Richard S Falk, Ragnar Winther   +2 more
exaly  

Location information disclosure in location-based social network services: Privacy calculus, benefit structure, and gender differences

Computers in Human Behavior, 2015
Yongqiang Sun, Nan Wang, Xiao-Liang Shen
exaly  

Generalized Elimination Inferences, Higher-Level Rules, and the Implications-as-Rules Interpretation of the Sequent Calculus

, 2014
P. Schroeder-Heister
semanticscholar   +1 more source

Using privacy calculus theory to explore entrepreneurial directions in mobile location-based advertising: Identifying intrusiveness as the critical risk factor

Computers in Human Behavior, 2019
Anabel Gutierrez, Professor Simon O'Leary, Nripendra P Rana   +2 more
exaly  

Advanced Jones calculus for the classification of periodic metamaterials

Physical Review A, 2010
Christoph Menzel, Carsten Rockstuhl
exaly