Results 281 to 290 of about 170,706 (312)

Sequent Calculus for Euler Diagrams

Diagrams, 2018
Sven Linker
semanticscholar   +1 more source

Sequent Calculus

Proof Complexity, 2019
Robert v. Keller, SC Axiom
semanticscholar   +1 more source

Non-classical Elegance for Sequent Calculus Enthusiasts

Studia Logica: An International Journal for Symbolic Logic, 2016
Andreas Fjellstad
semanticscholar   +1 more source

A Simple Sequent Calculus for Angell’s Logic of Analytic Containment

Studia Logica: An International Journal for Symbolic Logic, 2017
Rohan French
semanticscholar   +1 more source

Labelled Sequent Calculus for Inquisitive Logic

Logic, Rationality, and Interaction, 2017
Jinsheng Chen, Minghui Ma
semanticscholar   +1 more source

On conformable fractional calculus

Journal of Computational and Applied Mathematics, 2015
Thabet Abdeljawad
exaly  

Operators of Basic (or q-) Calculus and Fractional q-Calculus and Their Applications in Geometric Function Theory of Complex Analysis

Iranian Journal of Science and Technology, Transaction A: Science, 2020
H M Srivastava
exaly  

Sequent Calculus for Intuitionistic Epistemic Logic IEL

Symposium on Logical Foundations of Computer Science, 2016
V. Krupski, A. Yatmanov
semanticscholar   +1 more source

Intention to disclose personal information via mobile applications: A privacy calculus perspective

International Journal of Information Management, 2016
Tien Wang
exaly  

Privacy concerns and benefits of engagement with social media-enabled apps: A privacy calculus perspective

Computers in Human Behavior, 2020
Mohsen Jozani, Kim-Kwang Raymond Choo
exaly