Daniela Montangie

Publication Activity (10 Years)

Years Active: 2014-2023
Publications (10 Years): 2

Top Topics

Propositional Theories

Inference Rules

Clifford Algebra

Truth Maintenance Systems

Top Venues

Reports Math. Log.

Publications

Sergio A. Celani, Daniela Montangie
Hilbert Algebras with Hilbert-Galois Connections. Stud Logica 111 (1) (2023)
Sergio A. Celani, Daniela Montangie
Algebraic semantics of the $\left\{ \rightarrow , \square \right\} $-fragment of Propositional Lax Logic. Soft Comput. 24 (2) (2020)
Sergio A. Celani, Daniela Montangie
Hilbert Algebras with a Modal Operator ◊. Stud Logica 103 (3) (2015)
Sergio A. Celani, Daniela Montangie
Hilbert algebras with a necessity modal operator. Reports Math. Log. 49 (2014)