Works matching IS 13670751 AND DT 2014 AND VI 22 AND IP 2

Results: 13

Swap logic.

Published in:

Logic Journal of the IGPL, 2014, v. 22, n. 2, p. 309, doi. 10.1093/jigpal/jzt030

By:

Areces, Carlos;
Fervari, Raul;
Hoffmann, Guillaume

Publication type:

Article

The problem of identity and a justification for a non-reflexive quantum mechanics.

Published in:

Logic Journal of the IGPL, 2014, v. 22, n. 2, p. 186, doi. 10.1093/jigpal/jzt021

By:

Krause, Décio

Publication type:

Article

An alternative approach for quasi-truth.

Published in:

Logic Journal of the IGPL, 2014, v. 22, n. 2, p. 387, doi. 10.1093/jigpal/jzt026

By:

Coniglio, Marcelo Esteban;
Silvestrini, Luiz Henrique Da Cruz

Publication type:

Article

Constructive semantics, admissibility of rules and the validity of Peirce's law.

Published in:

Logic Journal of the IGPL, 2014, v. 22, n. 2, p. 297, doi. 10.1093/jigpal/jzt029

By:

De Campos Sanz, Wagner;
Piecha, Thomas;
Schroeder-Heister, Peter

Publication type:

Article

Tense operators on De Morgan algebras.

Published in:

Logic Journal of the IGPL, 2014, v. 22, n. 2, p. 255, doi. 10.1093/jigpal/jzt024

By:

Figallo, Aldo V.;
Pelaitay, Gustavo

Publication type:

Article

Completeness for cut-based abduction.

Published in:

Logic Journal of the IGPL, 2014, v. 22, n. 2, p. 286, doi. 10.1093/jigpal/jzt028

By:

Arruda, Alexandre Matos;
Finger, Marcelo

Publication type:

Article

The Proceedings of the XVI EBL—16th Brazilian Logic Conference, 2011: A Preface.

Published in:

Logic Journal of the IGPL, 2014, v. 22, n. 2, p. 181, doi. 10.1093/jigpal/jzt031

By:

Carnielli, Walter;
de Freitas Petrucio Viana, Renata

Publication type:

Article

Bayesian epistemic values: focus on surprise, measure probability!

Published in:

Logic Journal of the IGPL, 2014, v. 22, n. 2, p. 236, doi. 10.1093/jigpal/jzt023

By:

Stern, Julio Michael;
De Bragança Pereira, Carlos A.

Publication type:

Article

Intuitionistic N-Graphs.

Published in:

Logic Journal of the IGPL, 2014, v. 22, n. 2, p. 274, doi. 10.1093/jigpal/jzt033

By:

Quispe-Cruz, Marcela;
de Oliveira, Anjolina G.;
de Queiroz, Ruy J. G. B.;
de Paiva, Valeria

Publication type:

Article

Deontic logic (adapted) for normative conflicts.

Published in:

Logic Journal of the IGPL, 2014, v. 22, n. 2, p. 206, doi. 10.1093/jigpal/jzt022

By:

Goble, Lou

Publication type:

Article

Strict paraconsistency of truth-degree preserving intuitionistic logic with dual negation.

Published in:

Logic Journal of the IGPL, 2014, v. 22, n. 2, p. 268, doi. 10.1093/jigpal/jzt027

By:

Castiglioni, José Luis;
Ertola Biraben, Rodolfo C.

Publication type:

Article

Finitely many-valued logics and natural deduction.

Published in:

Logic Journal of the IGPL, 2014, v. 22, n. 2, p. 333, doi. 10.1093/jigpal/jzt032

By:

Englander, Cecilia;
Haeusler, Edward Hermann;
Pereira, Luiz Carlos

Publication type:

Article

Expressing properties in second- and third-order logic: hypercube graphs and SATQBF.

Published in:

Logic Journal of the IGPL, 2014, v. 22, n. 2, p. 355, doi. 10.1093/jigpal/jzt025

By:

Ferrarotti, Flavio;
Ren, Wei;
Torres, Jose Maria Turull

Publication type:

Article