Results 271 to 280 of about 136,655 (280)

Dual-Context Sequent Calculus and Strict Implication

Mathematical Logic Quarterly, 2002
Kentaro Kikuchi
exaly  

Herzberger’s Limit Rule with Labelled Sequent Calculus

Studia Logica, 2019
Andreas Fjellstad
exaly  

A sequent calculus for Kröger logic

1983
openaire   +2 more sources

Translations from natural deduction to sequent calculus

Mathematical Logic Quarterly, 2003
Jan von Plato
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  

Sequent Calculus

openaire   +1 more source

First-order sequent calculus

Lecture Notes in Computer Science, 2005
exaly  

A coding method for a sequent calculus of propositional logic

Lithuanian Mathematical Journal, 2008
exaly  

A sequent calculus for circumscription

Lecture Notes in Computer Science, 2005
exaly  

Marginalia on the sequent calculus

1998
openaire   +1 more source