Works matching IS 13670751 AND DT 2022 AND VI 30 AND IP 5
Results: 8
Algebra of Non-deterministic Programs: Demonic Operations, Orders and Axioms.
- Published in:
- Logic Journal of the IGPL, 2022, v. 30, n. 5, p. 886, doi. 10.1093/jigpal/jzab026
- By:
- Publication type:
- Article
Logics of Ignorance and Being Wrong.
- Published in:
- Logic Journal of the IGPL, 2022, v. 30, n. 5, p. 870, doi. 10.1093/jigpal/jzab025
- By:
- Publication type:
- Article
Algebraic Properties of Paraorthomodular Posets.
- Published in:
- Logic Journal of the IGPL, 2022, v. 30, n. 5, p. 840, doi. 10.1093/jigpal/jzab024
- By:
- Publication type:
- Article
Fragments of Quasi-Nelson: The Algebraizable Core.
- Published in:
- Logic Journal of the IGPL, 2022, v. 30, n. 5, p. 807, doi. 10.1093/jigpal/jzab023
- By:
- Publication type:
- Article
Type Theory with Opposite Types: A Paraconsistent Type Theory.
- Published in:
- Logic Journal of the IGPL, 2022, v. 30, n. 5, p. 777, doi. 10.1093/jigpal/jzab022
- By:
- Publication type:
- Article
Sample logic.
- Published in:
- Logic Journal of the IGPL, 2022, v. 30, n. 5, p. 728, doi. 10.1093/jigpal/jzab021
- By:
- Publication type:
- Article
Modal Logic With Non-Deterministic Semantics: Part II—Quantified Case.
- Published in:
- Logic Journal of the IGPL, 2022, v. 30, n. 5, p. 695, doi. 10.1093/jigpal/jzab020
- By:
- Publication type:
- Article
Missing data imputation over academic records of electrical engineering students.
- Published in:
- Logic Journal of the IGPL, 2022, v. 30, n. 5, p. 907, doi. 10.1093/jigpal/jzaa031
- Publication type:
- Article