Ultimate Normal Forms for Parallelized Natural Deductions

JOURNAL ARTICLE published 1 May 2002 in Logic Journal of IGPL

Authors: N. Tennant

What is mathematical logic? An Australian odyssey

JOURNAL ARTICLE published 27 November 2023 in Logic Journal of the IGPL

Authors: John Newsome Crossley

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

Acknowledgements

JOURNAL ARTICLE published 16 August 2006 in Logic Journal of IGPL

A normative multiagent approach to requirements engineering

JOURNAL ARTICLE published 1 February 2010 in Logic Journal of IGPL

Authors: S. Villata

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

A bisimulation characterization for interpretability logic

JOURNAL ARTICLE published 1 December 2014 in Logic Journal of IGPL

Authors: T. Perkov | M. Vukovi 

Logic programming for modeling morality

JOURNAL ARTICLE published August 2016 in Logic Journal of IGPL

Authors: Ari Saptawijaya | Luís Moniz Pereira

Some semantical aspects of linear logic

JOURNAL ARTICLE published 1 July 1997 in Logic Journal of IGPL

Authors: A Blass

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

Foreword

JOURNAL ARTICLE published 26 September 2007 in Logic Journal of IGPL

A Resolution Calculus for Shortening Proofs

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

Authors: Nicolas Peltier

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

The computational complexity of hybrid temporal logics

JOURNAL ARTICLE published 1 September 2000 in Logic Journal of IGPL

Authors: C Areces

Acknowledgements

JOURNAL ARTICLE published 1 October 2009 in Logic Journal of IGPL

Secure JAVA application in SOA-based cross-border PKI mobile government systems

JOURNAL ARTICLE published 1 August 2013 in Logic Journal of IGPL

Authors: M. Markovic | G. Dordevic

3rd Workshop on Logic, Language, Information and Computation (WoLLIC'96) and Brazilian Conference on Mathematical Logic (EBL'96)

JOURNAL ARTICLE published 1995 in Logic Journal of IGPL

Labelled proof nets for the syntax and semantics of natural languages

JOURNAL ARTICLE published 1 September 1999 in Logic Journal of IGPL

Authors: G Perrier

Interest group in pure and applied logics (IGPL)

JOURNAL ARTICLE published 1 January 1998 in Logic Journal of IGPL

Authors: D Gabbay

Data, Schema, Ontology and Logic Integration

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

Authors: Joseph A. Goguen