Metadata Search Funding Data Link References Status API Help
Facet browsing currently unavailable
Page 1 of 1584 results
Sort by: relevance publication year
Showing results for ISSN matching 1367-0751

Boolean negation and non-conservativity III: the Ackermann constant

JOURNAL ARTICLE published 25 May 2021 in Logic Journal of the IGPL

Authors: Tore Fjetland Øgaard

https://doi.org/10.1093/jigpal/jzaa021 Actions

Jon Barwise

JOURNAL ARTICLE published 1 July 2000 in Logic Journal of IGPL

https://doi.org/10.1093/jigpal/8.4.377 Actions

A morphological cellular automata based on morphological independence

JOURNAL ARTICLE published 1 June 2012 in Logic Journal of IGPL

Authors: J. Gallego | C. Hernandez | M. Grana

https://doi.org/10.1093/jigpal/jzr003 Actions

Some non-classical approaches to the Brandenburger–Keisler paradox

JOURNAL ARTICLE published August 2015 in Logic Journal of IGPL

Authors: Can Başkent

https://doi.org/10.1093/jigpal/jzv001 Actions

Fibring Modal First-Order Logics: Completeness Preservation

JOURNAL ARTICLE published 1 July 2002 in Logic Journal of IGPL

Authors: A. Sernadas

https://doi.org/10.1093/jigpal/10.4.413 Actions

Preface of this special issue: The Challenge of Combining Logics

JOURNAL ARTICLE published 1 August 2011 in Logic Journal of IGPL

Authors: J.-Y. Beziau

https://doi.org/10.1093/jigpal/jzp095 Actions

Malinowski modalization, modalization through fibring and the Leibniz hierarchy

JOURNAL ARTICLE published 1 October 2013 in Logic Journal of IGPL

Authors: M. A. Martins | G. Voutsadakis

https://doi.org/10.1093/jigpal/jzt019 Actions

Acknowledgements

JOURNAL ARTICLE published 16 August 2006 in Logic Journal of IGPL

https://doi.org/10.1093/jigpal/jzm001 Actions

A normative multiagent approach to requirements engineering

JOURNAL ARTICLE published 1 February 2010 in Logic Journal of IGPL

Authors: S. Villata

https://doi.org/10.1093/jigpal/jzp078 Actions

On Completeness of a Positional Interval Logic with Equality, Overlap and Subinterval Relations

JOURNAL ARTICLE published 1995 in Logic Journal of IGPL

Authors: RENWEI LI | JOSÉ CARMO

https://doi.org/10.1093/jigpal/3.5.765 Actions

Inconsistent-tolerant base revision through Argument Theory Change

JOURNAL ARTICLE published 1 February 2012 in Logic Journal of IGPL

Authors: M. O. Moguillansky | R. Wassermann | M. A. Falappa

https://doi.org/10.1093/jigpal/jzr029 Actions

Logic programming for modeling morality

JOURNAL ARTICLE published August 2016 in Logic Journal of IGPL

Authors: Ari Saptawijaya | Luís Moniz Pereira

https://doi.org/10.1093/jigpal/jzw025 Actions

Some semantical aspects of linear logic

JOURNAL ARTICLE published 1 July 1997 in Logic Journal of IGPL

Authors: A Blass

https://doi.org/10.1093/jigpal/5.4.487 Actions

The Essential Inadequacy of Deduction in Logic Programming

JOURNAL ARTICLE published 1 March 1995 in Logic Journal of IGPL

Authors: H. C. WASSERMAN | K. YUKAWA | Z. SHEN

https://doi.org/10.1093/jigpal/3.1.107 Actions

Foreword

JOURNAL ARTICLE published 26 September 2007 in Logic Journal of IGPL

https://doi.org/10.1093/jigpal/jzm056 Actions

A Resolution Calculus for Shortening Proofs

JOURNAL ARTICLE published 1 May 2005 in Logic Journal of the IGPL

Authors: Nicolas Peltier

https://doi.org/10.1093/jigpal/jzi027 Actions

S4 is Topologically Complete for (0,1): a Short Proof

JOURNAL ARTICLE published 1 January 2006 in Logic Journal of the IGPL

Authors: Grigori Mints

https://doi.org/10.1093/jigpal/jzk004 Actions

Reachability logic: an efficient fragment of transitive closure logic

JOURNAL ARTICLE published 1 May 2000 in Logic Journal of IGPL

Authors: N Alechina

https://doi.org/10.1093/jigpal/8.3.325 Actions

Symmetric and conflated intuitionistic logics

JOURNAL ARTICLE published 1 March 2024 in Logic Journal of the IGPL

Authors: Norihiro Kamide

https://doi.org/10.1093/jigpal/jzae001 Actions

Acknowledgements

JOURNAL ARTICLE published 1 October 2009 in Logic Journal of IGPL

https://doi.org/10.1093/jigpal/jzp051 Actions
Feedback: support@crossref.org