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:
- 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:
- 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:
- 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:
- 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:
- 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:
- 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:
- 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:
- 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:
- 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:
- 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:
- 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:
- Publication type:
- Article