Results 211 to 220 of about 168,343 (247)

A tutorial on computational classical logic and the sequent calculus

Journal of functional programming, 2018
P. Downen, Z. Ariola
semanticscholar   +1 more source

Sequent calculus for classical logic probabilized

Archive for Mathematical Logic, 2018
M. Boricic
semanticscholar   +1 more source

What Is a Good Sequent Calculus?

2010
In his doctoral thesis of 1935, the young and brilliant student Gerhard Gentzen introduced what is today known as the sequent calculus. Over the last eighty years the sequent calculus has been the central interest of several illustrious proof theorists. This has given rise to a broad literature and numerous results.
openaire   +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

A proof-theoretic study of bi-intuitionistic propositional sequent calculus

Journal of Logic and Computation, 2018
L. Pinto, T. Uustalu
semanticscholar   +1 more source

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  

Sequent Calculus for Intuitionistic Epistemic Logic IEL

Symposium on Logical Foundations of Computer Science, 2016
V. Krupski, A. Yatmanov
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

1981
openaire   +1 more source