Works matching IS 13670751 AND DT 2023 AND VI 31 AND IP 5

Results: 7

Restriction in Program Algebra.

Published in:

Logic Journal of the IGPL, 2023, v. 31, n. 5, p. 926, doi. 10.1093/jigpal/jzac058

By:

Jackson, Marcel;
Stokes, Tim

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:

Macías, Verónica Borja;
Coniglio, Marcelo E;
Hernández-Tello, Alejandro

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:

Pizzi, Claudio E A

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:

Łyczak, Marcin

Publication type:

Article

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:

Martinolich, Blanca Fernanda López;
Vannicola, María del Carmen

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:

Vidal, Juan Climent;
Llópez, Enric Cosme

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:

Preto, Sandro;
Finger, Marcelo

Publication type:

Article