Works matching IS 13670751 AND DT 2008 AND VI 16 AND IP 1

Results: 8

The Basic Constructive Logic for a Weak Sense of Consistency defined with a Propositional Falsity Constant.

Published in:

Logic Journal of the IGPL, 2008, v. 16, n. 1, p. 33, doi. 10.1093/jigpal/jzm015

By:

Robles, Gemma;
Méndez, José M.

Publication type:

Article

Congruences on Dynamic Algebras.

Published in:

Logic Journal of the IGPL, 2008, v. 16, n. 1, p. 15, doi. 10.1093/jigpal/jzm014

By:

Pinto, Sandra Marques;
Oliveira-Martins, Teresa;
Pinto, M. Céu

Publication type:

Article

An Application of Model Theory to Semimodules.

Published in:

Logic Journal of the IGPL, 2008, v. 16, n. 1, p. 99, doi. 10.1093/jigpal/jzm029

By:

Zayed, M.

Publication type:

Article

Ternary Exclusive Or.

Published in:

Logic Journal of the IGPL, 2008, v. 16, n. 1, p. 75, doi. 10.1093/jigpal/jzm027

By:

Pelletier, Francis Jeffry;
Hartline, Andrew

Publication type:

Article

Acknowledgements.

Published in:: Logic Journal of the IGPL, 2008, v. 16, n. 1, p. 103, doi. 10.1093/jigpal/jzn001
Publication type:: Article

Maximum Entropy Inference with Quantified Knowledge.

Published in:

Logic Journal of the IGPL, 2008, v. 16, n. 1, p. 85, doi. 10.1093/jigpal/jzm028

By:

Barnett, Owen;
Paris, Jeff

Publication type:

Article

Term Definable Classes of Boolean Functions and Frame Definability in Modal Logic.

Published in:

Logic Journal of the IGPL, 2008, v. 16, n. 1, p. 43, doi. 10.1093/jigpal/jzm018

By:

Couceiro, Miguel;
Hella, Lauri;
Kivelä, Jari

Publication type:

Article

An Introduction to Basic Arithmetic.

Published in:

Logic Journal of the IGPL, 2008, v. 16, n. 1, p. 1, doi. 10.1093/jigpal/jzm013

By:

Ardeshir, Mohammad;
Hesaam, Bardyaa

Publication type:

Article