Works matching IS 13670751 AND DT 2020 AND VI 28 AND IP 6
Results: 10
Special issue: 17th LATIN AMERICAN SYMPOSIUM ON MATHEMATICAL LOGIC (LASML 2017/SLALM 2017 in Spanish).
- Published in:
- Logic Journal of the IGPL, 2020, v. 28, n. 6, p. 1073, doi. 10.1093/jigpal/jzaa018
- Publication type:
- Article
An axiomatic approach to CG<sup>′</sup><sub>3</sub> logic.
- Published in:
- Logic Journal of the IGPL, 2020, v. 28, n. 6, p. 1218, doi. 10.1093/jigpal/jzaa014
- By:
- Publication type:
- Article
Interactive proof-search for equational reasoning.
- Published in:
- Logic Journal of the IGPL, 2020, v. 28, n. 6, p. 1155, doi. 10.1093/jigpal/jzaa013
- By:
- Publication type:
- Article
C<sup>n</sup> algebras with Moisil possibility operators.
- Published in:
- Logic Journal of the IGPL, 2020, v. 28, n. 6, p. 1141, doi. 10.1093/jigpal/jzaa012
- By:
- Publication type:
- Article
On a Weak Conditional.
- Published in:
- Logic Journal of the IGPL, 2020, v. 28, n. 6, p. 1106, doi. 10.1093/jigpal/jzaa010
- By:
- Publication type:
- Article
A bottom-up algorithm for solving ♯2SAT.
- Published in:
- Logic Journal of the IGPL, 2020, v. 28, n. 6, p. 1130, doi. 10.1093/jigpal/jzaa009
- By:
- Publication type:
- Article
The complexity of definability by open first-order formulas.
- Published in:
- Logic Journal of the IGPL, 2020, v. 28, n. 6, p. 1093, doi. 10.1093/jigpal/jzaa008
- By:
- Publication type:
- Article
Natural deduction and semantic models of justification logic in the proof assistant Coq.
- Published in:
- Logic Journal of the IGPL, 2020, v. 28, n. 6, p. 1077, doi. 10.1093/jigpal/jzaa007
- By:
- Publication type:
- Article
When Curry met Abel.
- Published in:
- Logic Journal of the IGPL, 2020, v. 28, n. 6, p. 1233, doi. 10.1093/jigpal/jzaa006
- By:
- Publication type:
- Article
Why the Axiom of Choice Sometimes Fails.
- Published in:
- Logic Journal of the IGPL, 2020, v. 28, n. 6, p. 1207, doi. 10.1093/jigpal/jzaa005
- By:
- Publication type:
- Article