Tarski's Undefinability Theorem and the Diagonal Lemma.
- Published in:
- Logic Journal of the IGPL, 2022, v. 30, n. 3, p. 489, doi. 10.1093/jigpal/jzab016
- By:
- Publication type:
- Article
Works matching IS 13670751 AND DT 2022 AND VI 30 AND IP 3
Results: 12
1
2
Computability and the Symmetric Difference Operator.
- Published in:
- Logic Journal of the IGPL, 2022, v. 30, n. 3, p. 499, doi. 10.1093/jigpal/jzab017
- By:
- Publication type:
- Article
3
Recovering Decimation-Based Cryptographic Sequences by Means of Linear CAs.
- Published in:
- Logic Journal of the IGPL, 2022, v. 30, n. 3, p. 561, doi. 10.1093/jigpal/jzz082
- By:
- Publication type:
- Article
4
Undecidability of the Logic of Partial Quasiary Predicates.
- Published in:
- Logic Journal of the IGPL, 2022, v. 30, n. 3, p. 519, doi. 10.1093/jigpal/jzab018
- By:
- Publication type:
- Article
5
∞-Groupoid Generated by an Arbitrary Topological λ-Model.
- Published in:
- Logic Journal of the IGPL, 2022, v. 30, n. 3, p. 465, doi. 10.1093/jigpal/jzab015
- By:
- Publication type:
- Article
6
Restricted Rules of Inference and Paraconsistency.
- Published in:
- Logic Journal of the IGPL, 2022, v. 30, n. 3, p. 534, doi. 10.1093/jigpal/jzab019
- By:
- Publication type:
- Article
7
Unification with parameters in the implication fragment of classical propositional logic.
- Published in:
- Logic Journal of the IGPL, 2022, v. 30, n. 3, p. 454, doi. 10.1093/jigpal/jzab014
- By:
- Publication type:
- Article
8
New Tableau Characterizations for Non-clausal MaxSAT Problem.
- Published in:
- Logic Journal of the IGPL, 2022, v. 30, n. 3, p. 422, doi. 10.1093/jigpal/jzab012
- By:
- Publication type:
- Article
9
Proof Systems for 3-valued Logics Based on Gödel's Implication.
- Published in:
- Logic Journal of the IGPL, 2022, v. 30, n. 3, p. 437, doi. 10.1093/jigpal/jzab013
- By:
- Publication type:
- Article
10
Dualities for Bounded Prelinear Hilbert Algebras.
- Published in:
- Logic Journal of the IGPL, 2022, v. 30, n. 3, p. 409, doi. 10.1093/jigpal/jzab001
- By:
- Publication type:
- Article
11
Gödel justification logics and realization.
- Published in:
- Logic Journal of the IGPL, 2022, v. 30, n. 3, p. 343, doi. 10.1093/jigpal/jzaa070
- By:
- Publication type:
- Article
12
Evolutionary Reinforcement Learning for Adaptively Detecting Database Intrusions.
- Published in:
- Logic Journal of the IGPL, 2022, v. 30, n. 3, p. 562, doi. 10.1093/jigpal/jzaa030
- Publication type:
- Article