Deduction Theorem for Symmetric Cirquent Calculus
- 1 January 2010
- book chapter
- Published by Springer Nature
- p. 121-126
Abstract
No abstract availableKeywords
This publication has 9 references indexed in Scilit:
- Proof compressions with circuit-structured substitutionsJournal of Mathematical Sciences, 2009
- On the proof complexity of deep inferenceACM Transactions on Computational Logic, 2009
- In the Beginning was Game Semantics?2008
- Cirquent Calculus DeepenedJournal of Logic and Computation, 2008
- A system of interaction and structureACM Transactions on Computational Logic, 2007
- Introduction to Cirquent Calculus and Abstract Resource SemanticsJournal of Logic and Computation, 2006
- Computability Logic: A Formal Theory of Interaction2004
- Introduction to computability logicAnnals of Pure and Applied Logic, 2003
- Non-commutativity and MELL in the Calculus of Structures2001