: Most-Read Full-Text Articles http://jigpal.oxfordjournals.org/ Most-read rankings are recalculated at the beginning of the month based on usage of full-text and PDF views for the previous month. 2009-11-16 <![CDATA[The Complexity of Propositional Proofs with the Substitution Rule]]> http://jigpal.oxfordjournals.org/cgi/content/short/13/3/287?rss=1&ssource=mfc May 1, 2005; 13:287-291
Original Articles]]> Alasdair Urquhart 2005-05-01 10.1093/jigpal/jzi021 Oxford University Press <![CDATA[Reservoir optimization in recurrent neural networks using properties of Kronecker product]]> http://jigpal.oxfordjournals.org/cgi/content/short/jzp044v1?rss=1&ssource=mfc Sep 3, 2009; 0:441-44
Original Papers]]> Ali Ajdari Rad, Martin Hasler, Mahdi Jalili 2009-09-03 Oxford University Press <![CDATA[Criteria of Identity and their Logical Form]]> http://jigpal.oxfordjournals.org/cgi/content/short/15/5-6/759?rss=1&ssource=mfc Oct 1, 2007; 15:759-765
Original Articles]]> Makmiller Martins Pedroso 2007-10-01 Oxford University Press <![CDATA[A Fibring Semantic or the Semantic-Morphological Interface in Natural Language]]> http://jigpal.oxfordjournals.org/cgi/content/short/10/2/191?rss=1&ssource=mfc Mar 1, 2002; 10:191-226
Articles]]> Ralf Naumann 2002-03-01 10.1093/jigpal/10.2.191 Oxford University Press <![CDATA[Advice on Abductive Logic]]> http://jigpal.oxfordjournals.org/cgi/content/short/14/2/189?rss=1&ssource=mfc Mar 1, 2006; 14:189-219
Original Articles]]> Dov Gabbay, John Woods 2006-03-01 10.1093/jigpal/jzk014 Oxford University Press <![CDATA[Intuitionistic Propositional Logic with Galois Connections]]> http://jigpal.oxfordjournals.org/cgi/content/short/jzp057v1?rss=1&ssource=mfc Oct 20, 2009; 0:571-57
Original Papers]]> Wojciech Dzik, Jouni Jarvinen, Michiro Kondo 2009-10-20 Oxford University Press <![CDATA[S4 is Topologically Complete for (0,1): a Short Proof]]> http://jigpal.oxfordjournals.org/cgi/content/short/14/1/63?rss=1&ssource=mfc Jan 1, 2006; 14:63-71
Original Articles]]> Grigori Mints 2006-01-01 10.1093/jigpal/jzk004 Oxford University Press <![CDATA[Reachability logic: an efficient fragment of transitive closure logic]]> http://jigpal.oxfordjournals.org/cgi/content/short/8/3/325?rss=1&ssource=mfc May 1, 2000; 8:325-337
Articles]]> N Alechina, N Immerman 2000-05-01 10.1093/jigpal/8.3.325 Oxford University Press <![CDATA[Generating hard tautologies using predicate logic and the symmetric group]]> http://jigpal.oxfordjournals.org/cgi/content/short/8/6/787?rss=1&ssource=mfc Nov 1, 2000; 8:787-795
Articles]]> S Riis, M Sitharam 2000-11-01 10.1093/jigpal/8.6.787 Oxford University Press <![CDATA[Reviews: Review of Coherent Systems, by Karl Schlechta, volume 2 of Studies in Logic and Practical Reasoning. Amsterdam: Elsevier, 2004, 447 pp., ISBN: 0-444-51789-8]]> http://jigpal.oxfordjournals.org/cgi/content/short/13/3/353?rss=1&ssource=mfc May 1, 2005; 13:353-359
Book Reviews]]> Xavier Parent 2005-05-01 10.1093/jigpal/jzi026 Oxford University Press <![CDATA[Teaching and Learning Logic in a Virtual Learning Environment]]> http://jigpal.oxfordjournals.org/cgi/content/short/15/4/321?rss=1&ssource=mfc Aug 1, 2007; 15:321-331
Original Articles]]> Antonia Huertas 2007-08-01 Oxford University Press <![CDATA[A Layered Abductive Inference Framework for Diagramming Group Motions]]> http://jigpal.oxfordjournals.org/cgi/content/short/14/2/363?rss=1&ssource=mfc Mar 1, 2006; 14:363-378
Original Articles]]> Bonny Banerjee 2006-03-01 10.1093/jigpal/jzk024 Oxford University Press <![CDATA[Generalized Davis-Putnam and satisfiability problems in mathematics]]> http://jigpal.oxfordjournals.org/cgi/content/short/jzp053v1?rss=1&ssource=mfc Sep 18, 2009; 0:531-53
Original Papers]]> Robert Cowen 2009-09-18 Oxford University Press <![CDATA[Abduction in Semantic Space: Towards a Logic of Discovery]]> http://jigpal.oxfordjournals.org/cgi/content/short/12/2/97?rss=1&ssource=mfc Mar 1, 2004; 12:97-109
Articles]]> Peter Bruza, Dawei Song, Robert McArthur 2004-03-01 10.1093/jigpal/12.2.97 Oxford University Press <![CDATA[Well-founded Relations in Type Theory]]> http://jigpal.oxfordjournals.org/cgi/content/short/5/6/811?rss=1&ssource=mfc Nov 1, 1997; 5:811-852
Articles]]> Patricia Peratto 1997-11-01 10.1093/jigpal/5.6.811 Oxford University Press <![CDATA[Representation, reasoning, and relational structures: a hybrid logic manifesto]]> http://jigpal.oxfordjournals.org/cgi/content/short/8/3/339?rss=1&ssource=mfc May 1, 2000; 8:339-365
Articles]]> P Blackburn 2000-05-01 10.1093/jigpal/8.3.339 Oxford University Press <![CDATA[Defining double negation elimination]]> http://jigpal.oxfordjournals.org/cgi/content/short/8/6/853?rss=1&ssource=mfc Nov 1, 2000; 8:853-860
Articles]]> G Restall 2000-11-01 10.1093/jigpal/8.6.853 Oxford University Press <![CDATA[Hybrid logics with Sahlqvist axioms]]> http://jigpal.oxfordjournals.org/cgi/content/short/13/3/293?rss=1&ssource=mfc May 1, 2005; 13:293-300
Original Articles]]> Balder ten Cate, Maarten Marx, Petrucio Viana 2005-05-01 10.1093/jigpal/jzi024 Oxford University Press <![CDATA[Many-Valued Logic, Partiality, and Abstraction in Formal Specification Languages]]> http://jigpal.oxfordjournals.org/cgi/content/short/13/4/415?rss=1&ssource=mfc Jul 1, 2005; 13:415-433
Original Articles]]> Reiner Hahnle 2005-07-01 10.1093/jigpal/jzi032 Oxford University Press <![CDATA[A Dynamic Game-theoretic Approach to the Modified Prisoner's Dilemma]]> http://jigpal.oxfordjournals.org/cgi/content/short/13/5/493?rss=1&ssource=mfc Sep 1, 2005; 13:493-502
Original Articles]]> Amit Banerjee 2005-09-01 10.1093/jigpal/jzi037 Oxford University Press <![CDATA[Projectual Abduction]]> http://jigpal.oxfordjournals.org/cgi/content/short/14/2/151?rss=1&ssource=mfc Mar 1, 2006; 14:151-160
Original Articles]]> Giovanni Tuzet 2006-03-01 10.1093/jigpal/jzk011 Oxford University Press <![CDATA[A Formal Logic for Abductive Reasoning]]> http://jigpal.oxfordjournals.org/cgi/content/short/14/2/221?rss=1&ssource=mfc Mar 1, 2006; 14:221-236
Original Articles]]> Joke Meheus, Diderik Batens 2006-03-01 10.1093/jigpal/jzk015 Oxford University Press <![CDATA[Problem-Solving by Abduction in New Product Development]]> http://jigpal.oxfordjournals.org/cgi/content/short/14/2/379?rss=1&ssource=mfc Mar 1, 2006; 14:379-390
Original Articles]]> Markus C. Becker, Francesco Zirpoli 2006-03-01 10.1093/jigpal/jzk025 Oxford University Press <![CDATA[Complete Axiomatisations of Properties of Finite Sets]]> http://jigpal.oxfordjournals.org/cgi/content/short/16/3/293?rss=1&ssource=mfc Jun 1, 2008; 16:293-313
Original Articles]]> Thomas Agotnes, Michal Walicki 2008-06-01 Oxford University Press <![CDATA[A Formal Characterisation of Institutionalised Power]]> http://jigpal.oxfordjournals.org/cgi/content/short/4/3/427?rss=1&ssource=mfc Jun 1, 1996; 4:427-443
Articles]]> ANDREW J. I. JONES, MAREK SERGOT 1996-06-01 10.1093/jigpal/4.3.427 Oxford University Press <![CDATA[Belnap's Four-Valued Logic and De Morgan Lattices]]> http://jigpal.oxfordjournals.org/cgi/content/short/5/3/1-e?rss=1&ssource=mfc May 1, 1997; 5:1-29
Articles]]> Josep Maria Font 1997-05-01 10.1093/jigpal/5.3.1-e Oxford University Press <![CDATA[Review: Temporal Logic: Mathematical Foundations and Computational Aspects * D. M. Gabbay, Antony Galton: Temporal Logic: Mathematical Foundations and Computational Aspects]]> http://jigpal.oxfordjournals.org/cgi/content/short/5/6/853?rss=1&ssource=mfc Nov 1, 1997; 5:853-857
Articles]]> 1997-11-01 10.1093/jigpal/5.6.853 Oxford University Press <![CDATA[Finite and infinite model theory - a historical perspective]]> http://jigpal.oxfordjournals.org/cgi/content/short/8/5/605?rss=1&ssource=mfc Sep 1, 2000; 8:605-628
Articles]]> J Baldwin 2000-09-01 10.1093/jigpal/8.5.605 Oxford University Press <![CDATA[Labelled Natural Deduction for Conditional Logics of Normality]]> http://jigpal.oxfordjournals.org/cgi/content/short/10/2/123?rss=1&ssource=mfc Mar 1, 2002; 10:123-163
Articles]]> Krysia Broda, Dov M. Gabbay, Luis C. Lamb, Alessandra M. Russo 2002-03-01 10.1093/jigpal/10.2.123 Oxford University Press <![CDATA[Polish Logic]]> http://jigpal.oxfordjournals.org/cgi/content/short/12/5/399?rss=1&ssource=mfc Sep 1, 2004; 12:399-428
Articles]]> Jan Wolenski 2004-09-01 10.1093/jigpal/12.5.399 Oxford University Press <![CDATA[On Evolving of Recursive Functions using {lambda}-abstraction and Higher-order Functions]]> http://jigpal.oxfordjournals.org/cgi/content/short/13/5/515?rss=1&ssource=mfc Sep 1, 2005; 13:515-524
Original Articles]]> Martin Dostal 2005-09-01 10.1093/jigpal/jzi039 Oxford University Press <![CDATA[Abduction with Dialogical and Trialogical Means]]> http://jigpal.oxfordjournals.org/cgi/content/short/14/2/137?rss=1&ssource=mfc Mar 1, 2006; 14:137-150
Original Articles]]> Sami Paavola, Kai Hakkarainen, Matti Sintonen 2006-03-01 10.1093/jigpal/jzk010 Oxford University Press <![CDATA[Abductive Reasoning and Linguistic Meaning]]> http://jigpal.oxfordjournals.org/cgi/content/short/14/2/321?rss=1&ssource=mfc Mar 1, 2006; 14:321-332
Original Articles]]> Pasi Pohjola 2006-03-01 10.1093/jigpal/jzk021 Oxford University Press <![CDATA[Epsilon Calculi]]> http://jigpal.oxfordjournals.org/cgi/content/short/14/4/535?rss=1&ssource=mfc Aug 1, 2006; 14:535-590
Original Articles]]> Barry Hartley Slater 2006-08-01 Oxford University Press <![CDATA[Pandora: A Reasoning Toolbox using Natural Deduction Style]]> http://jigpal.oxfordjournals.org/cgi/content/short/15/4/293?rss=1&ssource=mfc Aug 1, 2007; 15:293-304
Original Articles]]> Krysia Broda, Jiefei Ma, Gabrielle Sinnadurai, Alexander Summers 2007-08-01 Oxford University Press <![CDATA[Indecomposability of R and R \ {0} in Constructive Reverse Mathematics]]> http://jigpal.oxfordjournals.org/cgi/content/short/16/3/269?rss=1&ssource=mfc Jun 1, 2008; 16:269-273
Original Articles]]> Iris Loeb 2008-06-01 Oxford University Press <![CDATA[On the convergence of reduction-based and model-based methods in proof theory]]> http://jigpal.oxfordjournals.org/cgi/content/short/17/5/489?rss=1&ssource=mfc Oct 1, 2009; 17:489-497
Original Articles]]> Gilles Dowek 2009-10-01 Oxford University Press <![CDATA[Using modal logics to express and check global graph properties]]> http://jigpal.oxfordjournals.org/cgi/content/short/17/5/559?rss=1&ssource=mfc Oct 1, 2009; 17:559-587
Original Articles]]> Mario R. F. Benevides, L. Menasche Schechter 2009-10-01 Oxford University Press <![CDATA[Perspectives and challenges for recurrent neural network training]]> http://jigpal.oxfordjournals.org/cgi/content/short/jzp042v1?rss=1&ssource=mfc Aug 26, 2009; 0:421-42
Original Papers]]> Marco Gori, Barbara Hammer, Pascal Hitzler, Guenther Palm 2009-08-26 Oxford University Press <![CDATA[Modal Logics for Qualitative Spatial Reasoning]]> http://jigpal.oxfordjournals.org/cgi/content/short/4/1/23?rss=1&ssource=mfc Feb 1, 1996; 4:23-45
Articles]]> BRANDON BENNETT 1996-02-01 10.1093/jigpal/4.1.23 Oxford University Press <![CDATA[A Theory of Local Set Queries]]> http://jigpal.oxfordjournals.org/cgi/content/short/13/1/47?rss=1&ssource=mfc Jan 1, 2005; 13:47-68
Original Articles]]> Klaus-Dieter Schewe, Jose Maria Turull Torres 2005-01-01 10.1093/jigpal/jzi004 Oxford University Press <![CDATA[Can Common Sense Realism be Extended to Theoretical Physics?]]> http://jigpal.oxfordjournals.org/cgi/content/short/13/1/95?rss=1&ssource=mfc Jan 1, 2005; 13:95-111
Original Articles]]> Michel Ghins 2005-01-01 10.1093/jigpal/jzi006 Oxford University Press <![CDATA[A Polynomial Translation of S4 into T and Contraction-Free Tableaux for S4]]> http://jigpal.oxfordjournals.org/cgi/content/short/5/2/287?rss=1&ssource=mfc Mar 1, 1997; 5:287-300
Articles]]> Serenella Cerrito, Marta Cialdea Mayer 1997-03-01 10.1093/jigpal/5.2.287 Oxford University Press <![CDATA[A Lower Bound for Interpolation]]> http://jigpal.oxfordjournals.org/cgi/content/short/5/3/1-a?rss=1&ssource=mfc May 1, 1997; 5:1-6
Articles]]> Misha Gavrilovich 1997-05-01 10.1093/jigpal/5.3.1-a Oxford University Press <![CDATA[Sock Sorting: An Example of a Vague Algorithm]]> http://jigpal.oxfordjournals.org/cgi/content/short/9/5/687?rss=1&ssource=mfc Sep 1, 2001; 9:687-692
Articles]]> Rohit Parikh, Laxmi Parida, Vaughan Pratt 2001-09-01 10.1093/jigpal/9.5.687 Oxford University Press <![CDATA[Characterizations of Preferential Entailments]]> http://jigpal.oxfordjournals.org/cgi/content/short/10/3/245?rss=1&ssource=mfc May 1, 2002; 10:245-272
Articles]]> Yves Moinard, Raymond Rolland 2002-05-01 10.1093/jigpal/10.3.245 Oxford University Press <![CDATA[Sequent Calculi for Intuitionistic Linear Logic with Strong Negation]]> http://jigpal.oxfordjournals.org/cgi/content/short/10/6/653?rss=1&ssource=mfc Nov 1, 2002; 10:653-678
Articles]]> Norihiro Kamide 2002-11-01 10.1093/jigpal/10.6.653 Oxford University Press <![CDATA[An Omitting Types Theorem for Sheaves over Topological Spaces]]> http://jigpal.oxfordjournals.org/cgi/content/short/12/6/525?rss=1&ssource=mfc Nov 1, 2004; 12:525-548
Articles]]> Andreas B. M. Brunner, Francisco Miraglia 2004-11-01 10.1093/jigpal/12.6.525 Oxford University Press <![CDATA[Logic of Visibility, Perception, and Knowledge and Admissible Inference Rules]]> http://jigpal.oxfordjournals.org/cgi/content/short/13/2/201?rss=1&ssource=mfc Mar 1, 2005; 13:201-209
Original Articles]]> M.I. Golovanov, A.V. Kosheleva, V. Rybakov 2005-03-01 10.1093/jigpal/jzi014 Oxford University Press <![CDATA[A note on Hajek, Paris and Shepherdson's theorem]]> http://jigpal.oxfordjournals.org/cgi/content/short/13/2/261?rss=1&ssource=mfc Mar 1, 2005; 13:261-266
Original Articles]]> Shunsuke Yatabe 2005-03-01 10.1093/jigpal/jzi017 Oxford University Press