- New
-
Topics
- All Categories
- Metaphysics and Epistemology
- Value Theory
- Science, Logic, and Mathematics
- Science, Logic, and Mathematics
- Logic and Philosophy of Logic
- Philosophy of Biology
- Philosophy of Cognitive Science
- Philosophy of Computing and Information
- Philosophy of Mathematics
- Philosophy of Physical Science
- Philosophy of Social Science
- Philosophy of Probability
- General Philosophy of Science
- Philosophy of Science, Misc
- History of Western Philosophy
- Philosophical Traditions
- Philosophy, Misc
- Other Academic Areas
- Journals
- Submit material
- More
Fresh Logic: proof-theory and semantics for FM and nominal techniques
Journal of Applied Logic 5 (2):356-387 (2007)
Abstract
This article has no associated abstract. (fix it)Other Versions
No versions found
My notes
Similar books and articles
Representation and duality of the untyped λ-calculus in nominal lattice and topological semantics, with a proof of topological completeness.Murdoch J. Gabbay & Michael Gabbay - 2017 - Annals of Pure and Applied Logic 168 (3):501-621.
G. Metcalfe, N. Olivetti and D. Gabbay. Proof theory for fuzzy logics. Applied Logic Series, vol. 36. Springer, 2009, viii + 276 pp. [REVIEW]Bartosz Wiȩckowski - 2010 - Bulletin of Symbolic Logic 16 (3):415-419.
Pym David J. and Ritter Eike. Reductive logic and proof-search—Proof theory, semantics, and control. Oxford Logic Guides, vol. 45. Oxford Science Publications, 2004, 208 pp. [REVIEW]Didier Galmiche - 2006 - Bulletin of Symbolic Logic 12 (2):302-304.
Reductive Logic and Proof-Search: Proof Theory, Semantics, and Control.David J. Pym & Eike Ritter - 2004 - Oxford, England: Oxford University Press UK. Edited by Eike Ritter.
Completeness and Herbrand Theorems for Nominal Logic.James Cheney - 2006 - Journal of Symbolic Logic 71 (1):299 - 320.
Proof, Computation and Agency: Logic at the Crossroads.Johan van Benthem, Amitabha Gupta & Rohit Parikh (eds.) - 2011 - Dordrecht, Netherland: Springer.
Fibring logics, Dov M. Gabbay.Amílcar Sernadas - 2000 - Journal of Logic, Language and Information 9 (4):511-513.
Reductive Logic And Proof-search—proof Theory, Semantics, And Control. [REVIEW]Didier Galmiche - 2006 - Bulletin of Symbolic Logic 12 (2):302-303.
Analytics
Added to PP
2016-06-30
Downloads
25 (#868,970)
6 months
7 (#671,981)
2016-06-30
Downloads
25 (#868,970)
6 months
7 (#671,981)
Historical graph of downloads
Citations of this work
Foundations of nominal techniques: logic and semantics of variables in abstract syntax.Murdoch J. Gabbay - 2011 - Bulletin of Symbolic Logic 17 (2):161-229.
Cut elimination for a logic with induction and co-induction.Alwen Tiu & Alberto Momigliano - 2012 - Journal of Applied Logic 10 (4):330-367.
PhilPapers logo by Andrea Andrews and Meghan Driscoll.
This site uses cookies and Google Analytics (see our terms & conditions for details regarding the privacy implications). Use of this site is subject to terms & conditions.
All rights reserved by The PhilPapers Foundation
Server: philpapers-web-667477cd97-jhg8z dc2