Works matching IS 13670751 AND DT 2023 AND VI 31 AND IP 5
Results: 7
Equivalence between Varieties of Łukasiewicz–Moisil Algebras and Rings.
- Published in:
- Logic Journal of the IGPL, 2023, v. 31, n. 5, p. 988, doi. 10.1093/jigpal/jzac061
- By:
- Publication type:
- Article
Genuine paracomplete logics.
- Published in:
- Logic Journal of the IGPL, 2023, v. 31, n. 5, p. 961, doi. 10.1093/jigpal/jzac060
- By:
- Publication type:
- Article
Restriction in Program Algebra.
- Published in:
- Logic Journal of the IGPL, 2023, v. 31, n. 5, p. 926, doi. 10.1093/jigpal/jzac058
- By:
- Publication type:
- Article
Axioms for a Logic of Consequential Counterfactuals.
- Published in:
- Logic Journal of the IGPL, 2023, v. 31, n. 5, p. 907, doi. 10.1093/jigpal/jzac052
- By:
- Publication type:
- Article
Branching Time Axiomatized With the Use of Change Operators.
- Published in:
- Logic Journal of the IGPL, 2023, v. 31, n. 5, p. 894, doi. 10.1093/jigpal/jzac051
- By:
- Publication type:
- Article
Proving properties of binary classification neural networks via Łukasiewicz logic.
- Published in:
- Logic Journal of the IGPL, 2023, v. 31, n. 5, p. 805, doi. 10.1093/jigpal/jzac050
- By:
- Publication type:
- Article
Functoriality of the Schmidt construction.
- Published in:
- Logic Journal of the IGPL, 2023, v. 31, n. 5, p. 822, doi. 10.1093/jigpal/jzac048
- By:
- Publication type:
- Article