Logic Journal of the IGPL 22 (5):737-757 (2014)
| Abstract | This article has no associated abstract. (fix it) |
| Keywords | No keywords specified (fix it) |
| Categories | (categorize this paper) |
| DOI | 10.1093/jigpal/jzu011 |
| Options |
Mark as duplicate
Export citation
Request removal from index
|
Download options
References found in this work BETA
A Short Proof Of Representability Of Fork Algebras.Viktor Gyuris - 1995 - Logic Journal of the IGPL 3 (5):791-796.
Citations of this work BETA
No citations found.
Similar books and articles
Isomorphisms and Nonisomorphisms of Graph Models.Harold Schellinx - 1991 - Journal of Symbolic Logic 56 (1):227-249.
Non Deterministic Classical Logic: The Λμ++ ‐Calculus.Karim Nour - 2002 - Mathematical Logic Quarterly 48 (3):357-366.
On Vague Notions and Modalities: A Modular Approach.P. A. S. Veloso, S. R. M. Veloso, P. Viana, R. D. Freitas, M. Benevides & C. Delgado - 2010 - Logic Journal of the IGPL 18 (3):381-402.
Databases for Criminal Intelligence Analysis: Knowledge Representation Issues. [REVIEW]Robert Ayres - 1997 - AI and Society 11 (1-2):18-35.
Non Deterministic Classical Logic: The $Lambdamu^{++}$-Calculus.Karim Nour - 2002 - Mathematical Logic Quarterly 48 (3):357-366.
Causal Reasoning with Ancestral Graphical Models.Jiji Zhang - 2008 - Journal of Machine Learning Research 9:1437-1474.
Isomorphism and Equational Equivalence of Continuous Λ-Models.Rainer Kerth - 1998 - Studia Logica 61 (3):403-415.
Towards Collaborative Content Management and Version Control for Structured Mathematical Knowledge.Michael Kohlhase - unknown
The Interpretation of Unsolvable Λ-Terms in Models of Untyped Λ-Calculus.Rainer Kerth - 1998 - Journal of Symbolic Logic 63 (4):1529-1548.
Graphical Models, Causal Inference, and Econometric Models.Peter Spirtes - 2005 - Journal of Economic Methodology 12 (1):3-34.
Hypergraphs And The Intuitionistic Propositional Calculus.Adam Kolany - 1993 - Reports on Mathematical Logic:55-66.
Bar and Line Graph Comprehension: An Interaction of Top‐Down and Bottom‐Up Processes.Priti Shah & Eric G. Freedman - 2011 - Topics in Cognitive Science 3 (3):560-578.
The Interpretation of Unsolvable $Lambda$-Terms in Models of Untyped $Lambda$-Calculus.Rainer Kerth - 1998 - Journal of Symbolic Logic 63 (4):1529-1548.
Analytics
Added to PP index
2016-06-30
Total views
6 ( #1,128,873 of 2,498,296 )
Recent downloads (6 months)
4 ( #171,224 of 2,498,296 )
2016-06-30
Total views
6 ( #1,128,873 of 2,498,296 )
Recent downloads (6 months)
4 ( #171,224 of 2,498,296 )
How can I increase my downloads?
Downloads
