Results 271 to 280 of about 165,990,627 (290)

Cut-Elimination for the Modal Grzegorczyk Logic via Non-well-founded Proofs

Lecture Notes in Computer Science, 2017
Yury Savateev
exaly  

Par means parallel: multiplicative linear logic proofs as concurrent functional programs

2020
Federico Aschieri
exaly  

An Analytic Calculus for the Intuitionistic Logic of Proofs

Notre Dame Journal of Formal Logic, 2019
Brian Hill, Francesca Poggiolesi
exaly  

Logic and Proofs

Haribhau R. Bhapkar, Parikshit N. Mahalle   +1 more
openaire   +2 more sources

Logic of Negation-Complete Interactive Proofs (Formal Theory of Epistemic Deciders)

Electronic Notes in Theoretical Computer Science, 2014
Simon Kramer
exaly  

Linear proofs and linear logic

2005
Bertram Fronhofer
exaly  

Logics and Proofs

2019
B. V. Senthil Kumar, Hemen Dutta
openaire   +1 more source

On the complexity of the reflected logic of proofs

Theoretical Computer Science, 2006
exaly  

Derivability in certain subsystems of the Logic of Proofs is

Annals of Pure and Applied Logic, 2007
exaly  

Proof by Cases in Formal Logic

The Annals of Mathematics, 1934
openaire   +1 more source