SPECIAL ISSUE CISIS 2020-IGPL

JOURNAL ARTICLE published 23 November 2022 in Logic Journal of the IGPL

A Computational Framework For Understanding Mathematical Discoursexy

JOURNAL ARTICLE published 1 July 2003 in Logic Journal of IGPL

Authors: C. Zinn

On a super large fixed-point of common information in multi-agent signalling games

JOURNAL ARTICLE published 1 February 2012 in Logic Journal of IGPL

Authors: A. Benz

Undecidability of the problem of recognizing axiomatizations for propositional calculi with implication

JOURNAL ARTICLE published 1 April 2015 in Logic Journal of IGPL

Authors: G. V. Bokov

Boolean negation and non-conservativity II: The variable-sharing property

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

Authors: Tore Fjetland Øgaard

A decomposition-based method for solving the clustered vehicle routing problem

JOURNAL ARTICLE published 23 January 2018 in Logic Journal of the IGPL

Authors: Andrei Horvat-Marc | Levente Fuksz | Petrică C Pop | Daniela Dănciulescu

The Keisler–Shelah theorem for $mathsf{QmbC}$ through semantical atomization

JOURNAL ARTICLE published 25 September 2020 in Logic Journal of the IGPL

Authors: Thomas Macaulay Ferguson

Justifying induction on modal  -formulae

JOURNAL ARTICLE published 1 December 2014 in Logic Journal of IGPL

Authors: L. Alberucci | J. Krahenbuhl | T. Studer

A Routley-Meyer semantics for relevant logics including TWR plus the disjunctive syllogism

JOURNAL ARTICLE published 1 February 2011 in Logic Journal of IGPL

Authors: G. Robles | J. M. Mendez

Polymodal Logics of Commuting Functions

JOURNAL ARTICLE published 1 September 2002 in Logic Journal of IGPL

Authors: A. G. Kravtsov

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

The logic of orthomodular posets of finite height

JOURNAL ARTICLE published 11 January 2022 in Logic Journal of the IGPL

Research funded by Austrian Science Fund (I 4579-N) | Czech Science Foundation (20-09869L) | ÖAD (CZ 02/2019) | IGA (PřF 2020 014)

Authors: Ivan Chajda | Helmut Länger

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