Works matching IS 13670751 AND DT 2014 AND VI 22 AND IP 2
Results: 13
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:
- 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:
- 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:
- 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:
- 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:
- Publication type:
- Article
Swap logic.
- Published in:
- Logic Journal of the IGPL, 2014, v. 22, n. 2, p. 309, doi. 10.1093/jigpal/jzt030
- By:
- 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:
- 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:
- 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:
- 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:
- 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:
- 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:
- 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:
- Publication type:
- Article