Sciweavers

Free Online Productivity Tools i2Speak i2Symbol i2OCR iTex2Img iWeb2Print iWeb2Shot i2Type iPdf2Split iPdf2Merge i2Bopomofo i2Arabic i2Style i2Image i2PDF iLatex2Rtf Sci2ools

7

CORR
2010
Springer

favoriteEmaildiscussreport

61views Education» more CORR 2010»

Relating Sequent Calculi for Bi-intuitionistic Propositional Logic

13 years 2 months ago

Relating Sequent Calculi for Bi-intuitionistic Propositional Logic

Download www.cs.ioc.ee

Luis Pinto, Tarmo Uustalu

Real-time Traffic

CORR 2010 | Education |

claim paper

Related Content

» CutElimination and Proof Search for BiIntuitionistic Tense Logic

» From Axioms to Analytic Rules in Nonclassical Logics

» Proof Search and CounterModel Construction for Biintuitionistic Propositional Logic with L...

» Admissibility of Cut in Coalgebraic Logics

» A CutFree and InvariantFree Sequent Calculus for PLTL

» The Inverse Method for the Logic of Bunched Implications

» A Focused Sequent Calculus Framework for Proof Search in Pure Type Systems

» A Simpler Proof Theory for Nominal Logic

» Consequence Relations In DRT

Post Info
More Details (n/a)

Added	10 Feb 2011
Updated	10 Feb 2011
Type	Journal
Year	2010
Where	CORR
Authors	Luis Pinto, Tarmo Uustalu

Comments (0)