Francois Lamarche and Lutz Straburger. Naming proofs in classical propositional logic. In Pawe#l Urzyczyn, editor, Typed Lambda Calculi and Applications, TLCA 2005, volume 3461 of Lecture Notes in Computer Science, pages 246--261. Springer-Verlag, 2005. Home/Search Document Details and Download
Summary Related Articles Check |
This paper is cited in the following contexts:
On the Axiomatisation of Boolean Categories with and without.. - Straßburger (2005) Self-citation (Straburger) (Correct)
No context found.
Francois Lamarche and Lutz Straburger. Naming proofs in classical propositional logic. In Pawe#l Urzyczyn, editor, Typed Lambda Calculi and Applications, TLCA 2005, volume 3461 of Lecture Notes in Computer Science, pages 246--261. Springer-Verlag, 2005.
Constructing free Boolean categories - Lamarche, Straßburger (2005) (1 citation) Self-citation (Lamarche Straburger) (Correct)
No context found.
F. Lamarche and L. Straburger. Naming proofs in classical propositional logic. In P. Urzyczyn, editor, TLCA 2005.
What is a Logic, and What is a Proof? - Straßburger (2005) Self-citation (Straburger) (Correct)
No context found.
Francois Lamarche and Lutz Straburger. Naming proofs in classical propositional logic. In Pawe#l Urzyczyn, editor, Typed Lambda Calculi and Applications, TLCA 2005, volume 3461 of Lecture Notes in Computer Science, pages 246--261. SpringerVerlag, 2005.
Constructing free Boolean categories - Lamarche, Straßburger (2005) (1 citation) Self-citation (Lamarche Straburger) (Correct)
No context found.
F. Lamarche and L. Straburger. Naming proofs in classical propositional logic, 2005. To appear in Proceedings of TLCA'05. Available on the web at http://ps.unisb. de/lutz/papers/namingproofsCL.pdf.
From Proof Nets to the Free *-Autonomous Category - Lamarche, Straßburger (2005) Self-citation (Lamarche Straburger) (Correct)
No context found.
Francois Lamarche and Lutz Straburger. Naming proofs in classical propositional logic. In Pawe#l Urzyczyn, editor, Typed Lambda Calculi and Applications, TLCA 2005, volume 3461 of Lecture Notes in Computer Science, pages 246--261. Springer-Verlag, 2005.
Constructing free Boolean categories - Lamarche, Straßburger (2005) (1 citation) Self-citation (Lamarche Straburger) (Correct)
No context found.
F. Lamarche and L. Straburger. Naming proofs in classical propositional logic, 2005. To appear in Proceedings of TLCA'05. Available on the web at http://ps.unisb. de/lutz/papers/namingproofsCL.pdf.
Constructing free Boolean categories - Lamarche, al. (2005) (1 citation) Self-citation (Lamarche Straburger) (Correct)
No context found.
F. Lamarche and L. Straburger. Naming proofs in classical propositional logic. In P. Urzyczyn, editor, TLCA 2005.
From Proof Nets to the Free *-Autonomous Category - Lamarche, Straßburger (2004) Self-citation (Lamarche Straburger) (Correct)
No context found.
Francois Lamarche and Lutz Straburger. Naming proofs in classical propositional logic, 2004. Submitted. Available on the web at http://ps.unisb. de/lutz/papers/namingproofsCL.pdf.
What is a Logic, and What is a Proof? - Straßburger (2005) Self-citation (Straburger) (Correct)
No context found.
Francois Lamarche and Lutz Straburger. Naming proofs in classical propositional logic. In Pawe#l Urzyczyn, editor, Typed Lambda Calculi and Applications, TLCA 2005, volume 3461 of Lecture Notes in Computer Science, pages 246--261. SpringerVerlag, 2005.
Deep Inference and the Calculus of Structures - Guglielmi (2006) (Correct)
No context found.
Francois Lamarche and Lutz Straburger. Naming proofs in classical propositional logic. In Pawel Urzyczyn, editor, Typed Lambda Calculi and Applications, volume 3461 of Lecture Notes in Computer Science, pages 246--261. Springer-Verlag, 2005. URL: http://www.lix.polytechnique.fr/lutz/papers/namingproofsCL.pdf.
Categorical Models Of First-Order Classical Proofs - McKinley (2006) (Correct)
No context found.
Francois Lamarche and Lutz Straburger. Naming proofs in classical propositional logic. In Pawel/ Urzyczyn, editor, Typed Lambda Calculi and Applications, TLCA 2005.
On Two Forms of Bureaucracy in Derivations - Brünnler, Lengrand (Correct)
No context found.
Francois Lamarche and Lutz Straburger. Naming proofs in classical propositional logic. In Pawe#l Urzyczyn, editor, Typed Lambda Calculi and Applications, TLCA 2005, volume 3461 of Lecture Notes in Computer Science, pages 246--261. SpringerVerlag, 2005.
Online articles have much greater impact More about CiteSeer.IST Add search form to your site Submit documents Feedback
CiteSeer.IST - Copyright Penn State and NEC