The Weak Normalization of the Simply Typed  se-calculus

JOURNAL ARTICLE published 15 May 2007 in Logic Journal of IGPL

Authors: A. Arbiser | F. Kamareddine | A. Rios

Acknowledgements

JOURNAL ARTICLE published 1 December 2010 in Logic Journal of IGPL

Bridging de Bruijn indices and variable names in explicit substitutions calculi

JOURNAL ARTICLE published 1 November 1998 in Logic Journal of IGPL

Authors: F Kamareddine

Reviews

JOURNAL ARTICLE published 1 March 1995 in Logic Journal of IGPL

Authors: A. AVRON

Review: Relation algebras by games * Robin Hirsch, Ian Hodkinson: Relation algebras by games

JOURNAL ARTICLE published 1 September 2003 in Logic Journal of IGPL

Authors: R. D. Maddux

Static analysis: a brief survey

JOURNAL ARTICLE published December 2016 in Logic Journal of IGPL

Authors: Iván García-Ferreira | Carlos Laorden | Igor Santos | Pablo Garcia Bringas

Symmetric operators on modal pseudocomplemented De Morgan algebras

JOURNAL ARTICLE published 1 August 2017 in Logic Journal of the IGPL

Authors: Aldo Figallo-Orellano | Alicia Ziliani | Martín Figallo

Clausal Proofs and Discontinuity

JOURNAL ARTICLE published 1995 in Logic Journal of IGPL

Authors: GLYN MORRILL

Many-valued Logics in Classical and Quantum Gates

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

Authors: Carlos A. Lungarzo

The Impact of Different System Call Representations on Intrusion Detection

JOURNAL ARTICLE published 25 March 2022 in Logic Journal of the IGPL

Authors: Sarah Wunderlich | Markus Ring | Dieter Landes | Andreas Hotho

An expectation-transformer model for probabilistic temporal logic

JOURNAL ARTICLE published 1 November 1999 in Logic Journal of IGPL

Authors: C Morgan

On the interrelation between systems of spheres and epistemic entrenchment relations

JOURNAL ARTICLE published 1 February 2014 in Logic Journal of IGPL

Authors: M. D. L. Reis

Science: the rules of the game

JOURNAL ARTICLE published 1 April 2010 in Logic Journal of IGPL

Authors: J. Zamora-Bonilla

OUP accepted manuscript

JOURNAL ARTICLE published 2017 in Logic Journal Of The Igpl

The Relevant Equivalence Property

JOURNAL ARTICLE published 15 May 2007 in Logic Journal of IGPL

Authors: L. Humberstone | R. K. Meyer

Towards automated first-order abduction: the cut-based approach

JOURNAL ARTICLE published 1 April 2012 in Logic Journal of IGPL

Authors: M. Finger

Taming first-order logic

JOURNAL ARTICLE published 1 March 1998 in Logic Journal of IGPL

Authors: S Mikulas

Towards an axiomatic theory of consciousness

JOURNAL ARTICLE published 1 March 2001 in Logic Journal of IGPL

Authors: J Cunningham

Ticket Entailment plus the mingle axiom has the variable-sharing property

JOURNAL ARTICLE published 1 February 2012 in Logic Journal of IGPL

Authors: J. M. Mendez | G. Robles | F. Salto

Forthcoming Papers

JOURNAL ARTICLE published 1994 in Logic Journal of IGPL