The following pages link to Franco Montagna (Q167897):
Displaying 50 items.
- Proof theory for locally finite many-valued logics: semi-projective logics (Q385019) (← links)
- Partially undetermined many-valued events and their conditional probability (Q452350) (← links)
- \(\Delta\)-core fuzzy logics with propositional quantifiers, quantifier elimination and uniform Craig interpolation (Q454376) (← links)
- Erratum to: ``A classification of certain group-like \(\mathrm{FL}_e\)-chains (Q514050) (← links)
- A classification of certain group-like \(\mathrm{FL}_e\)-chains (Q514558) (← links)
- \(n\)-contractive BL-logics (Q535139) (← links)
- Completeness with respect to a chain and universal models in fuzzy logic (Q627436) (← links)
- A logical characterization of coherence for imprecise probabilities (Q648377) (← links)
- State morphism MV-algebras (Q648387) (← links)
- Quantifier elimination and other model-theoretic properties of BL-algebras (Q654010) (← links)
- The Rényi-Ulam games and many-valued logics (Q679806) (← links)
- (Q730942) (redirect page) (← links)
- Two cooperative versions of the guessing secrets problem (Q730944) (← links)
- The logic of \(\Pi_ 1\)-conservativity (Q749519) (← links)
- The predicate modal logic of provability (Q800346) (← links)
- Varieties of BL-algebras (Q816863) (← links)
- Generating the variety of BL-algebras (Q816867) (← links)
- On the structure of generalized BL-algebras (Q861599) (← links)
- Product logic and probabilistic Ulam games (Q876494) (← links)
- Trakhtenbrot theorem and first-order axiomatic extensions of MTL (Q897476) (← links)
- Erratum to: ``Trakhtenbrot theorem and first-order axiomatic extensions of MTL'' (Q897477) (← links)
- Taking the Pirahã seriously (Q907196) (← links)
- MV-algebras with internal states and probabilistic fuzzy logics (Q962839) (← links)
- Embedding theorems for classes of GBL-algebras (Q964512) (← links)
- Retracted: Ordered groups with a modality (Q995612) (← links)
- The consequence relation in the logic of commutative GBL-algebras is PSPACE-complete (Q1006641) (← links)
- Distinguished algebraic semantics for t-norm based fuzzy logics: methods and algebraic equivalencies (Q1024552) (← links)
- Ordered groups with a conucleus (Q1035670) (← links)
- Supersound many-valued logics and Dedekind-MacNeille completions (Q1042436) (← links)
- Generic generalized Rosser fixed points (Q1099165) (← links)
- ``Pathologies'' in two syntactic categories of partial maps (Q1115866) (← links)
- Interpretations of the first-order theory of diagonalizable algebras in Peano arithmetic (Q1153077) (← links)
- The undecidability of the first-order theory of diagonalizable algebras (Q1153078) (← links)
- The well-founded algebras (Q1155639) (← links)
- Relatively precomplete numerations and arithmetic (Q1171055) (← links)
- On the proof of Solovay's theorem (Q1176096) (← links)
- Rosser orderings and free variables (Q1176097) (← links)
- For every n, the n-freely generated algebra is not functionally free in the equational class of diagonalizable algebras. (The algebraization of theories which express Theor. V.) (Q1223284) (← links)
- On the algebraization of a Feferman's predicate. (The algebraization of theories which express Theor; X) (Q1254312) (← links)
- Rosser and Mostowski sentences (Q1263586) (← links)
- Investigations on measure-one identification of classes of languages (Q1271312) (← links)
- Paradigms in measure theoretic learning and in informant learning (Q1288965) (← links)
- The logic of \(\Pi_ 1\)-conservativity continued (Q1311428) (← links)
- A minimal predicative set theory (Q1344436) (← links)
- On the continuity points of left-continuous t-norms (Q1423637) (← links)
- A proof of standard completeness for Esteva and Godo's logic MTL (Q1604791) (← links)
- On the standard and rational completeness of some axiomatic extensions of the monoidal t-norm logic (Q1612690) (← links)
- Kripke semantics, undecidability and standard completeness for Esteva and Godo's logic MTL\(\forall\) (Q1612691) (← links)
- Proof search and co-NP completeness for many-valued logics (Q1697337) (← links)
- On the predicate logics of continuous t-norm BL-algebras (Q1765100) (← links)
