franco-montagna documents

A Cut-free Proof System for Bounded Metric Temporal Logic Over a Dense Time Domain
Documents A Cut-free Proof System for Bounded Metric Temporal Logic Over a Dense Time Domain
ZFC-MODELS AS KRIPKE-MODELS
Documents ZFC-MODELS AS KRIPKE-MODELS
A COMPLETENESS RESULT FOR FIXED-POINT ALGEBRAS
Documents A COMPLETENESS RESULT FOR FIXED-POINT ALGEBRAS
Corrigendum to “Kripke-style semantics for many-valued logics”
Documents Corrigendum to “Kripke-style semantics for many-valued logics”
Kripke-style semantics for many-valued logics
Documents Kripke-style semantics for many-valued logics
Functorial Representation Theorems for MVΔ Algebras with Additional Operators
Documents Functorial Representation Theorems for MVΔ Algebras with Additional Operators
Interpolation and Beth’s property in propositional many-valued logics: A semantic investigation
Documents Interpolation and Beth’s property in propositional many-valued logics: A semantic investigation
RETRACTED: Ordered groups with a modality
Documents RETRACTED: Ordered groups with a modality
Ordered groups with a conucleus
Documents Ordered groups with a conucleus
Interpretations of the first-order theory of diagonalizable algebras in peano arithmetic
Documents Interpretations of the first-order theory of diagonalizable algebras in peano arithmetic
On the algebraization of a Feferman's predicate
Documents On the algebraization of a Feferman's predicate
Three Complexity Problems in Quantified Fuzzy Logic
Documents Three Complexity Problems in Quantified Fuzzy Logic
Kripke Semantics, Undecidability and Standard Completeness for Esteva and Godo's Logic MTL∀
Documents Kripke Semantics, Undecidability and Standard Completeness for Esteva and Godo's Logic MTL∀
Paradigms in Measure Theoretic Learning and in Informant Learning
Documents Paradigms in Measure Theoretic Learning and in Informant Learning
The well-founded algebras
Documents The well-founded algebras
Partially Undetermined Many-Valued Events and Their Conditional Probability
Documents Partially Undetermined Many-Valued Events and Their Conditional Probability