8 citations · 37 across the 12 of their papers we have counts for
17 papers
Formalizing a Many-Sorted Hybrid Polyadic Modal Logic in Lean
Andrei-Alexandru Oltean, Alexandru Oltean, Bogdan Macovei +1
We present a Lean formalization of a general hybrid modal logic with many-sorted signatures and polyadic modal operators. The system borrows ideas from both algebraic specification…
Łukasiewicz Logic with Actions for Neural Networks training
Ioana Leuştean, Bogdan Macovei
Based on the already known connection between multilayer perceptrons and Lukasiewicz logic with rational coefficients, we take a step forward in analyzing its training process usin…
OpenBSD formal driver verification with SeL4
Adriana Nicolae, Paul Irofti, Ioana Leustean
The seL4 microkernel is currently the only kernel that has been fully formally verified. In general, the increased interest in ensuring the security of a kernel's code results from…
DELP: Dynamic Epistemic Logic for Security Protocols
Ioana Leustean, Bogdan Macovei
The formal analysis of security protocols is a challenging field, with various approaches being studied nowadays. The famous Burrows-Abadi-Needham Logic was the first logical syste…
From Hybrid Modal Logic to Matching Logic and Back
Ioana Leuştean, Natalia Moangă, Traian Florin Şerbănuţă
Building on our previous work on hybrid polyadic modal logic we identify modal logic equivalents for Matching Logic, a logic for program specification and verification. This provid…
Operational semantics and program verification using many-sorted hybrid modal logic
Ioana Leustean, Natalia Moanga, Traian Florin Serbanuta
We propose a general framework to allow: (a) specifying the operational semantics of a programming language; and (b) stating and proving properties about program correctness. Our f…
A many-sorted polyadic modal logic
Ioana Leustean, Natalia Moanga, Traian Florin Serbanuta
This paper presents a many-sorted polyadic modal logic that generalizes some of the existing approaches. The algebraic semantics has led us to a many-sorted generalization of boole…
Infinitary logic and basically disconnected compact Hausdorff spaces
Antonio Di Nola, Serafina Lapenta, Ioana Leustean
We extend Łukasiewicz logic obtaining the infinitary logic whose models are algebras , where is a basically disconnected compact Hausdorff space. Eq…
An analysis of the logic of Riesz Spaces with strong unit
Antonio Di Nola, Serafina Lapenta, Ioana Leustean
We study Łukasiewicz logic enriched with a scalar multiplication with scalars taken in . Its algebraic models, called {\em Riesz MV-algebras}, are, up to isomorphism, unit i…
Notes on divisible MV-algebras
Serafina Lapenta, Ioana Leustean
In these notes we study the class of divisible MV-algebras inside the algebraic hierarchy of MV-algebras with product. We connect divisible MV-algebras with -vector latt…
Mutually exclusive nuances of truth in Moisil logic
Denisa Diaconescu, Ioana Leustean
Moisil logic, having as algebraic counterpart Łukasiewicz-Moisil algebras, provide an alternative way to reason about vague information based on the following principle: a many-val…
Towards understanding the Pierce-Birkhoff conjecture via MV-algebras
Serafina Lapenta, Ioana Leustean
Our main issue was to understand the connection between Łukasiewicz logic with product and the Pierce-Birkhoff conjecture, and to express it in a mathematical way. To do this we de…
A general view of the algebraic semantics of Łukasiewicz logic with product
Serafina Lapenta, Ioana Leustean
This paper aims at connecting the various classes that provide an algebraic semantics for three different conservative expansions of Lukasiewicz logic, using algebraic and category…
The Riesz hull of a semisimple MV-algebra
Denisa Diaconescu, Ioana Leustean
MV-algebras and Riesz MV-algebras are categorically equivalent to abelian lattice-ordered groups with strong unit and, respectively, with Riesz spaces (vector-lattices) with strong…
Scalar extensions for algebraic structures of Lukasiewicz logic
Serafina Lapenta, Ioana Leustean
In this paper we study the tensor product for MV-algebras, the algebraic structures of Łukasiewicz -valued logic. Our main results are: the proof that the tensor product is…
Stochastic independence for probability MV-algebras
Serafina Lapenta, Ioana Leustean
We prove that any MV-algebra has a faithful state can be embedded in an \em{f}MV-algebra of integrable functions. As consequence, we prove Hölder's inequality and Hausdorff moment…
Lukasiewicz logic and Riesz spaces
Antonio Di Nola, Ioana Leustean
We initiate a deep study of {\em Riesz MV-algebras} which are MV-algebras endowed with a scalar multiplication with scalars from . Extending Mundici's equivalence between MV…