Results 261 to 270 of about 14,982 (276)

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

Studia Logica, 2017
Rohan French
exaly  

Sequent calculus

2006
openaire   +1 more source

A sequent calculus and a theorem prover for standard conditional logics

ACM Transactions on Computational Logic, 2007
Nicola Olivetti, Gian Luca Pozzato
exaly  

Yet Another Bijection Between Sequent Calculus and Natural Deduction

Electronic Notes in Theoretical Computer Science, 2015
Gilles Dowek
exaly  

A new mapping between combinatorial proofs and sequent calculus proofs read out from logical flow graphs

Information and Computation, 2010
Alessandra Carbone
exaly  

Translations from natural deduction to sequent calculus

Mathematical Logic Quarterly, 2003
Jan von Plato
exaly  

SEQUENT CALCULUS FOR INTUITIONISTIC LOGIC

2001
openaire   +2 more sources

First-order sequent calculus

2005
openaire   +1 more source

Sequent calculus for classical logic probabilized

Archive for Mathematical Logic, 2018
Marija Boricic
exaly  

Implications-as-Rules vs. Implications-as-Links: An Alternative Implication-Left Schema for the Sequent Calculus

Journal of Philosophical Logic, 2010
Peter Schroeder-Heister
exaly