Found: 13
Select item for more details and to access through your institution.
Multi-dimensional Interpretations of Presburger Arithmetic in Itself.
- Published in:
- Journal of Logic & Computation, 2020, v. 30, n. 8, p. 1681, doi. 10.1093/logcom/exaa050
- By:
- Publication type:
- Article
Founded semantics and constraint semantics of logic rules.
- Published in:
- Journal of Logic & Computation, 2020, v. 30, n. 8, p. 1609, doi. 10.1093/logcom/exaa056
- By:
- Publication type:
- Article
Polyteam semantics.
- Published in:
- Journal of Logic & Computation, 2020, v. 30, n. 8, p. 1541, doi. 10.1093/logcom/exaa048
- By:
- Publication type:
- Article
Herbrand Proofs and Expansion Proofs as Decomposed Proofs.
- Published in:
- Journal of Logic & Computation, 2020, v. 30, n. 8, p. 1711, doi. 10.1093/logcom/exaa052
- By:
- Publication type:
- Article
Epistemic predicates in the arithmetical context.
- Published in:
- Journal of Logic & Computation, 2020, v. 30, n. 8, p. 1695, doi. 10.1093/logcom/exaa051
- By:
- Publication type:
- Article
Editorial.
- Published in:
- Journal of Logic & Computation, 2020, v. 30, n. 8, p. 1429, doi. 10.1093/logcom/exaa064
- By:
- Publication type:
- Article
Open sets in computability theory and reverse mathematics.
- Published in:
- Journal of Logic & Computation, 2020, v. 30, n. 8, p. 1639, doi. 10.1093/logcom/exaa049
- By:
- Publication type:
- Article
Kripke-style Semantics and Completeness for Full Simply Typed Lambda Calculus.
- Published in:
- Journal of Logic & Computation, 2020, v. 30, n. 8, p. 1567, doi. 10.1093/logcom/exaa055
- By:
- Publication type:
- Article
Explicit analyses of proof/refutation interaction for constructible falsity and Heyting–Brouwer logic.
- Published in:
- Journal of Logic & Computation, 2020, v. 30, n. 8, p. 1505, doi. 10.1093/logcom/exaa047
- By:
- Publication type:
- Article
Notions of Cauchyness and metastability.
- Published in:
- Journal of Logic & Computation, 2020, v. 30, n. 8, p. 1487, doi. 10.1093/logcom/exaa046
- By:
- Publication type:
- Article
A logic of blockchain updates.
- Published in:
- Journal of Logic & Computation, 2020, v. 30, n. 8, p. 1469, doi. 10.1093/logcom/exaa045
- By:
- Publication type:
- Article
An abstract form of the first epsilon theorem.
- Published in:
- Journal of Logic & Computation, 2020, v. 30, n. 8, p. 1447, doi. 10.1093/logcom/exaa044
- By:
- Publication type:
- Article
Justification awareness.
- Published in:
- Journal of Logic & Computation, 2020, v. 30, n. 8, p. 1431, doi. 10.1093/logcom/exaa043
- By:
- Publication type:
- Article