Most-Read Full-Text Articles http://jigpal.oupjournals.org/ Most-Read Full-Text Articles 2008-08-10 <![CDATA[Categorical Abstract Algebraic Logic: Bloom's Theorem for Rule-Based {pi}-Institutions]]> http://jigpal.oupjournals.org/cgi/content/short/16/3/233?rss=1&ssource=mfc Jun 1, 2008; 16:233-248
Original Articles]]> George Voutsadakis 2008-06-01 Oxford University Press <![CDATA[The Basic Constructive Logic for Absolute Consistency defined with a Propositional Falsity Constant]]> http://jigpal.oupjournals.org/cgi/content/short/16/3/275?rss=1&ssource=mfc Jun 1, 2008; 16:275-291
Original Articles]]> Gemma Robles 2008-06-01 Oxford University Press <![CDATA[Independent Bases of Admissible Rules]]> http://jigpal.oupjournals.org/cgi/content/short/16/3/249?rss=1&ssource=mfc Jun 1, 2008; 16:249-267
Original Articles]]> Emil Jerabek 2008-06-01 Oxford University Press <![CDATA[On Ignorance and Contradiction Considered as Truth-Values]]> http://jigpal.oupjournals.org/cgi/content/short/16/2/195?rss=1&ssource=mfc Apr 1, 2008; 16:195-216
Original Articles]]> Didier Dubois 2008-04-01 Oxford University Press <![CDATA[Indecomposability of R and R \ {0} in Constructive Reverse Mathematics]]> http://jigpal.oupjournals.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[Complete Axiomatisations of Properties of Finite Sets]]> http://jigpal.oupjournals.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[The Rules of Logic Composition for the Bayesian Epistemic e-Values]]> http://jigpal.oupjournals.org/cgi/content/short/15/5-6/401?rss=1&ssource=mfc Oct 1, 2007; 15:401-420
Original Articles]]> Wagner Borges, Julio Michael Stern 2007-10-01 10.1093/jigpal/jzm032 Oxford University Press <![CDATA[Language and Logical Pluralism: Some Aspects of a Wittgensteinian Perspective on the Nature of Logic]]> http://jigpal.oupjournals.org/cgi/content/short/15/5-6/603?rss=1&ssource=mfc Oct 1, 2007; 15:603-619
Original Articles]]> Susana Gomez 2007-10-01 Oxford University Press <![CDATA[Acknowledgements]]> http://jigpal.oupjournals.org/cgi/content/short/14/3/533?rss=1&ssource=mfc Jun 1, 2006; 14:533-533
Acknowledgements]]> 2006-06-01 10.1093/jigpal/jzl022 Oxford University Press <![CDATA[Logics with the Qualitative Probability Operator]]> http://jigpal.oupjournals.org/cgi/content/short/16/2/105?rss=1&ssource=mfc Apr 1, 2008; 16:105-120
Original Articles]]> Zoran Ognjanovic, Aleksandar Perovic, Miodrag Raskovic 2008-04-01 Oxford University Press <![CDATA[Transition Logic Revisited]]> http://jigpal.oupjournals.org/cgi/content/short/jzn009v1?rss=1&ssource=mfc Jun 17, 2008; 0:91-9
Original Papers]]> Wolfgang Bibel 2008-06-17 Oxford University Press <![CDATA[Why and How Platonism?]]> http://jigpal.oupjournals.org/cgi/content/short/15/5-6/621?rss=1&ssource=mfc Oct 1, 2007; 15:621-636
Original Articles]]> Guillermo E. Rosado Haddock 2007-10-01 Oxford University Press <![CDATA[Sequent Calculi for Some Strict Implication Logics]]> http://jigpal.oupjournals.org/cgi/content/short/16/2/155?rss=1&ssource=mfc Apr 1, 2008; 16:155-174
Original Articles]]> Ryo Ishigaki, Ryo Kashima 2008-04-01 Oxford University Press <![CDATA[Acknowledgements]]> http://jigpal.oupjournals.org/cgi/content/short/16/1/103?rss=1&ssource=mfc Feb 1, 2008; 16:103-103
Acknowledgements]]> 2008-02-01 10.1093/jigpal/jzn001 Oxford University Press <![CDATA[Fibring in the Leibniz Hierarchy]]> http://jigpal.oupjournals.org/cgi/content/short/15/5-6/475?rss=1&ssource=mfc Oct 1, 2007; 15:475-501
Original Articles]]> Victor L. Fernandez, Marcelo E. Coniglio 2007-10-01 Oxford University Press <![CDATA[Restricted Classical Modal Logics]]> http://jigpal.oupjournals.org/cgi/content/short/15/5-6/741?rss=1&ssource=mfc Oct 1, 2007; 15:741-757
Original Articles]]> Cezar A. Mortari 2007-10-01 Oxford University Press <![CDATA[Criteria of Identity and their Logical Form]]> http://jigpal.oupjournals.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[Acknowledgements]]> http://jigpal.oupjournals.org/cgi/content/short/14/5/826?rss=1&ssource=mfc Oct 1, 2006; 14:826-826
Acknowledgements]]> 2006-10-01 10.1093/jigpal/jzl033 Oxford University Press <![CDATA[Acknowledgements]]> http://jigpal.oupjournals.org/cgi/content/short/15/3/287?rss=1&ssource=mfc Jun 1, 2007; 15:287-287
Acknowledgements]]> 2007-06-01 10.1093/jigpal/jzm017 Oxford University Press <![CDATA[Logical and Philosophical Remarks on Quasi-Set Theory]]> http://jigpal.oupjournals.org/cgi/content/short/15/5-6/421?rss=1&ssource=mfc Oct 1, 2007; 15:421-431
Original Articles]]> Newton C. A. Da Costa, Decio Krause 2007-10-01 Oxford University Press <![CDATA[Pure Hilbert Algebras with Infimum]]> http://jigpal.oupjournals.org/cgi/content/short/15/5-6/527?rss=1&ssource=mfc Oct 1, 2007; 15:527-533
Original Articles]]> Aldo Figallo Jr 2007-10-01 Oxford University Press <![CDATA[A Note on Gentzen's LJ and NJ Systems Isomorphism]]> http://jigpal.oupjournals.org/cgi/content/short/15/5-6/767?rss=1&ssource=mfc Oct 1, 2007; 15:767-774
Original Articles]]> Wagner De Campos Sanz 2007-10-01 Oxford University Press <![CDATA[Acknowledgements]]> http://jigpal.oupjournals.org/cgi/content/short/14/4/629?rss=1&ssource=mfc Aug 1, 2006; 14:629-629
Acknowledgements]]> 2006-08-01 10.1093/jigpal/jzl029 Oxford University Press <![CDATA[Acknowledgements]]> http://jigpal.oupjournals.org/cgi/content/short/14/6/902?rss=1&ssource=mfc Dec 1, 2006; 14:902-902
Acknowledgements]]> 2006-12-01 10.1093/jigpal/jzl034 Oxford University Press <![CDATA[Acknowledgements]]> http://jigpal.oupjournals.org/cgi/content/short/15/1/120?rss=1&ssource=mfc Jan 1, 2007; 15:120-120
Original Articles]]> 2007-01-01 10.1093/jigpal/jzm001 Oxford University Press <![CDATA[Acknowledgements]]> http://jigpal.oupjournals.org/cgi/content/short/15/2/210?rss=1&ssource=mfc Mar 1, 2007; 15:210-210
Acknowledgements]]> 2007-03-01 10.1093/jigpal/jzm016 Oxford University Press <![CDATA[Fast-Growing Functions and the P vs. NP Question]]> http://jigpal.oupjournals.org/cgi/content/short/15/5-6/445?rss=1&ssource=mfc Oct 1, 2007; 15:445-455
Original Articles]]> Francisco Antonio Doria 2007-10-01 Oxford University Press <![CDATA[Monadic Distributive Lattices]]> http://jigpal.oupjournals.org/cgi/content/short/15/5-6/535?rss=1&ssource=mfc Oct 1, 2007; 15:535-551
Original Articles]]> Aldo V. Figallo, Ines Pascual, Alicia Ziliani 2007-10-01 Oxford University Press <![CDATA[On Extensions of Elementary Submodels by Forcing]]> http://jigpal.oupjournals.org/cgi/content/short/15/5-6/637?rss=1&ssource=mfc Oct 1, 2007; 15:637-651
Original Articles]]> Lucia R. Junqueira, Paul Larson, Marcelo D. Passos 2007-10-01 Oxford University Press <![CDATA[Fibred and Indexed Categories for Abstract Model Theory]]> http://jigpal.oupjournals.org/cgi/content/short/15/5-6/707?rss=1&ssource=mfc Oct 1, 2007; 15:707-739
Original Articles]]> Alfio Martini, Uwe Wolter, E. Hermann Haeusler 2007-10-01 Oxford University Press <![CDATA[Heterogeneous Fibring of Deductive Systems Via Abstract Proof Systems]]> http://jigpal.oupjournals.org/cgi/content/short/16/2/121?rss=1&ssource=mfc Apr 1, 2008; 16:121-153
Original Articles]]> Luiis Cruz-Filipe, Amiicar Sernadas, Cristina Sernadas 2008-04-01 Oxford University Press <![CDATA[Constructing Finite Least Kripke Models for Positive Logic Programs in Serial Regular Grammar Logics]]> http://jigpal.oupjournals.org/cgi/content/short/16/2/175?rss=1&ssource=mfc Apr 1, 2008; 16:175-193
Original Articles]]> Linh Anh Nguyen 2008-04-01 Oxford University Press <![CDATA[Large Cardinals and Topology: a Short Retrospective and Some New Results]]> http://jigpal.oupjournals.org/cgi/content/short/15/5-6/433?rss=1&ssource=mfc Oct 1, 2007; 15:433-443
Original Articles]]> Samuel G. Da Silva 2007-10-01 Oxford University Press <![CDATA[On Minimal Models]]> http://jigpal.oupjournals.org/cgi/content/short/15/5-6/503?rss=1&ssource=mfc Oct 1, 2007; 15:503-526
Original Articles]]> Francicleber Martins Ferreira, Ana Teresa Martins 2007-10-01 Oxford University Press <![CDATA[Equal Rights for the Cut: Computable Non-analytic Cuts in Cut-based Proofs]]> http://jigpal.oupjournals.org/cgi/content/short/15/5-6/553?rss=1&ssource=mfc Oct 1, 2007; 15:553-575
Original Articles]]> Marcelo Finger, Dov Gabbay 2007-10-01 Oxford University Press <![CDATA[An Inductive Theorem on the Correctness of General Recursive Programs]]> http://jigpal.oupjournals.org/cgi/content/short/15/5-6/373?rss=1&ssource=mfc Oct 1, 2007; 15:373-399
Original Articles]]> Jaime Alejandro Bohorquez 2007-10-01 Oxford University Press <![CDATA[On Positive Relational Calculi]]> http://jigpal.oupjournals.org/cgi/content/short/15/5-6/577?rss=1&ssource=mfc Oct 1, 2007; 15:577-601
Original Articles]]> Renata de Freitas, Paulo A.S. Veloso, Sheila R.M. Veloso, Petrucio Viana 2007-10-01 Oxford University Press <![CDATA[Natural Deduction for 'Generally']]> http://jigpal.oupjournals.org/cgi/content/short/15/5-6/775?rss=1&ssource=mfc Oct 1, 2007; 15:775-800
Original Articles]]> Leonardo B. Vana, Paulo A. S. Veloso, Sheila R. M. Veloso 2007-10-01 Oxford University Press <![CDATA[A Formal Logic for Abductive Reasoning]]> http://jigpal.oupjournals.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[Using the Internal Logic of a Topos to Model Search Spaces for Problems]]> http://jigpal.oupjournals.org/cgi/content/short/15/5-6/457?rss=1&ssource=mfc Oct 1, 2007; 15:457-474
Original Articles]]> Fernando Naufel do Amaral, Edward Hermann Haeusler 2007-10-01 Oxford University Press <![CDATA[Games on Trees and Syntactical Complexity of Formulas]]> http://jigpal.oupjournals.org/cgi/content/short/15/5-6/653?rss=1&ssource=mfc Oct 1, 2007; 15:653-687
Original Articles]]> Michal Krynicki, Jose Maria Turull Torres 2007-10-01 Oxford University Press <![CDATA[The Logic of Classes]]> http://jigpal.oupjournals.org/cgi/content/short/15/5-6/689?rss=1&ssource=mfc Oct 1, 2007; 15:689-706
Original Articles]]> E. G. K. Lopez-Escobar 2007-10-01 Oxford University Press <![CDATA[A note on Hajek, Paris and Shepherdson's theorem]]> http://jigpal.oupjournals.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 <![CDATA[A Layered Abductive Inference Framework for Diagramming Group Motions]]> http://jigpal.oupjournals.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[Games on Trees and Syntactical Complexity of Formulas]]> http://jigpal.oupjournals.org/cgi/content/short/jzm051v1?rss=1&ssource=mfc Oct 1, 2007; 15:653-687
Original Articles]]> Michal Krynicki, Jose Maria Turull Torres 2007-10-01 Oxford University Press <![CDATA[Back and forth between first-order Kripke models]]> http://jigpal.oupjournals.org/cgi/content/short/jzn011v1?rss=1&ssource=mfc Jul 26, 2008; 0:111-11
Original Papers]]> Tomasz Polacik 2008-07-26 Oxford University Press <![CDATA[Can Common Sense Realism be Extended to Theoretical Physics?]]> http://jigpal.oupjournals.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[Sequent Calculi for Some Strict Implication Logics]]> http://jigpal.oupjournals.org/cgi/content/short/jzm058v1?rss=1&ssource=mfc Apr 1, 2008; 16:155-174
Original Articles]]> Ryo Ishigaki, Ryo Kashima 2008-04-01 Oxford University Press <![CDATA[A Weak Constructive Sequential Compactness Property and the Fan Theorem]]> http://jigpal.oupjournals.org/cgi/content/short/13/2/151?rss=1&ssource=mfc Mar 1, 2005; 13:151-158
Original Articles]]> Douglas Bridges 2005-03-01 10.1093/jigpal/jzi011 Oxford University Press <![CDATA[Algebraization of Non-structural Logics]]> http://jigpal.oupjournals.org/cgi/content/short/14/6/845?rss=1&ssource=mfc Dec 1, 2006; 14:845-866
Original Articles]]> Sergio Munoz-Venegas 2006-12-01 Oxford University Press