Works matching IS 13670751 AND DT 2022 AND VI 30 AND IP 5

Results: 8

Sample logic.

Published in:

Logic Journal of the IGPL, 2022, v. 30, n. 5, p. 728, doi. 10.1093/jigpal/jzab021

By:

Gerner, Matthias

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:

Coniglio, Marcelo E;
Fariñasdelcerro, Luis;
Peron, Newton Marques

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:

Agudelo-Agudelo, Juan C;
Sicard-Ramírez, Andrés

Publication type:

Article

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:

Hirsch, Robin;
Mikulás, Szabolcs;
Stokes, Tim

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:

Gilbert, David;
Kubyshkina, Ekaterina;
Petrolo, Mattia;
Venturi, Giorgio

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:

Chajda, Ivan;
Fazio, Davide;
Länger, Helmut;
Ledda, Antonio;
Paseka, Jan

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:

Rivieccio, Umberto

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