Works matching IS 13670751 AND DT 2017 AND VI 25 AND IP 4

Results: 12

AGM-like paraconsistent belief change.

Published in:

Logic Journal of the IGPL, 2017, v. 25, n. 4, p. 632, doi. 10.1093/jigpal/jzx010

By:

Testa, Rafael R.;
Coniglio, Marcelo E.;
Ribeiro, Márcio M.

Publication type:

Article

On the identity type as the type of computational paths.

Published in:

Logic Journal of the IGPL, 2017, v. 25, n. 4, p. 562, doi. 10.1093/jigpal/jzx015

By:

Ramos, Arthur F.;
De Queiroz, Ruy J. G. B.;
De Oliveira, Anjolina G.

Publication type:

Article

Continuous versions of Haack's puzzles: equilibria, eigen-states and ontologies.

Published in:

Logic Journal of the IGPL, 2017, v. 25, n. 4, p. 604, doi. 10.1093/jigpal/jzx017

By:

Stern, Julio Michael

Publication type:

Article

Algebraizable logics and a functorial encoding of its morphisms.

Published in:

Logic Journal of the IGPL, 2017, v. 25, n. 4, p. 524, doi. 10.1093/jigpal/jzx014

By:

Pinto, Darllan Conceição;
Mariano, Hugo Luiz

Publication type:

Article

Dialectical categories, cardinalities of the continuum and combinatorics of ideals.

Published in:

Logic Journal of the IGPL, 2017, v. 25, n. 4, p. 585, doi. 10.1093/jigpal/jzx016

By:

Da Silva, Samuel G.;
De Paiva, Valeria C. V.

Publication type:

Article

Descriptions in quantum mechanics.

Published in:

Logic Journal of the IGPL, 2017, v. 25, n. 4, p. 512, doi. 10.1093/jigpal/jzx013

By:

Krause, Décio

Publication type:

Article

Categorial forms of the Axiom of Choice.

Published in:

Logic Journal of the IGPL, 2017, v. 25, n. 4, p. 408, doi. 10.1093/jigpal/jzx020

By:

Brunner, Andreas B. M.;
Mariano, Hugo L.;
Da Silva, Samuel G.

Publication type:

Article

Symmetric operators on modal pseudocomplemented De Morgan algebras.

Published in:

Logic Journal of the IGPL, 2017, v. 25, n. 4, p. 498, doi. 10.1093/jigpal/jzx019

By:

Figallo-Orellano, Aldo;
Ziliani, Alicia;
Figallo, Martín

Publication type:

Article

Modal operators for meet-complemented lattices.

Published in:

Logic Journal of the IGPL, 2017, v. 25, n. 4, p. 465, doi. 10.1093/jigpal/jzx011

By:

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

Publication type:

Article

Non-idempotent intersection types for the Lambda-Calculus.

Published in:

Logic Journal of the IGPL, 2017, v. 25, n. 4, p. 431, doi. 10.1093/jigpal/jzx018

By:

Bucciarelli, Antonio;
Kesner, Delia;
Ventura, Daniel

Publication type:

Article

A paraconsistent route to semantic closure.

Published in:

Logic Journal of the IGPL, 2017, v. 25, n. 4, p. 387, doi. 10.1093/jigpal/jzx009

By:

Barrio, Eduardo Alejandro;
Pailos, Federico Matias;
Szmuc, Damian Enrique

Publication type:

Article

Foreword: The Proceedings of the XVII EBL--17th Brazilian Logic Conference, 2014: A preface.

Published in:

Logic Journal of the IGPL, 2017, v. 25, n. 4, p. 381, doi. 10.1093/jigpal/jzx012

By:

Carnielli, Walter;
Haeusler, Edward Hermann;
Viana, Petrucio

Publication type:

Article