Works matching IS 13670751 AND DT 2005 AND VI 13 AND IP 3

Results: 9

Representability in Default Logic.

Published in:

Logic Journal of the IGPL, 2005, v. 13, n. 3, p. 335, doi. 10.1093/jigpal/jzi028

By:

Liberatore, Paolo

Publication type:

Article

A Resolution Calculus for Shortening Proofs.

Published in:

Logic Journal of the IGPL, 2005, v. 13, n. 3, p. 307, doi. 10.1093/jigpal/jzi027

By:

Peltier, Nicolas

Publication type:

Article

Coherent Systems.

Published in:

2005

By:

Parent, Xavier

Publication type:

Book Review

Cardinal spaces and topological representations of bimodal logics.

Published in:

Logic Journal of the IGPL, 2005, v. 13, n. 3, p. 301, doi. 10.1093/jigpal/jzi025

By:

Löwe, Benedikt;
Sarenac, Darko

Publication type:

Article

Hybrid logics with Sahlqvist axioms.

Published in:

Logic Journal of the IGPL, 2005, v. 13, n. 3, p. 293, doi. 10.1093/jigpal/jzi024

By:

ten Cate, Balder;
Marx, Maarten;
Viana, Petrúcio

Publication type:

Article

Acknowledgements.

Published in:: Logic Journal of the IGPL, 2005, v. 13, n. 3, p. 361, doi. 10.1093/jigpal/jzi023
Publication type:: Article

The Complexity of Propositional Proofs with the Substitution Rule.

Published in:

Logic Journal of the IGPL, 2005, v. 13, n. 3, p. 287, doi. 10.1093/jigpal/jzi021

By:

Urquhart, Alasdair

Publication type:

Article

Amalgamation Theorems in Algebraic Logic, an overview.

Published in:

Logic Journal of the IGPL, 2005, v. 13, n. 3, p. 277, doi. 10.1093/jigpal/jzi020

By:

Sayed-Ahmed, Tarek

Publication type:

Article

The Unique Intermediate Logic Whose Every Rule is Archetypal.

Published in:

Logic Journal of the IGPL, 2005, v. 13, n. 3, p. 269, doi. 10.1093/jigpal/jzi019

By:

Połacik, Tomasz

Publication type:

Article