The following pages link to Franco Montagna (Q167897):
Displaying 50 items.
- A logical and algebraic treatment of conditional probability (Q1766925) (← links)
- Equational fragments of systems for arithmetic. (Q1771883) (← links)
- Varieties of BL-algebras. II (Q1790601) (← links)
- A general method for constructing left-continuous t-norms (Q1811573) (← links)
- Varieties of BL-algebras. I: General properties. (Q1812017) (← links)
- A note on some extension results (Q1814182) (← links)
- Equational characterization of the subvarieties of BL generated by t-norm algebras (Q1826926) (← links)
- On a class of left-continuous \(\text t\)-norms (Q1867636) (← links)
- PAC learning of probability distributions over a discrete domain. (Q1874385) (← links)
- An algebraic treatment of quantifier-free systems of arithmetic (Q1915125) (← links)
- Logic and probabilistic systems (Q1915126) (← links)
- Polynomial space hardness without disjunction property (Q1935776) (← links)
- A short note on essentially \(\Sigma_1\) sentences (Q1945709) (← links)
- Learning to coordinate; a recursion theoretic perspective (Q1969697) (← links)
- An operational logic of proofs with positive and negative information (Q1970597) (← links)
- An algebraic approach to propositional fuzzy logic (Q1971782) (← links)
- Amalgamation and interpolation in ordered algebras. (Q2253035) (← links)
- Algebraic and proof-theoretic characterizations of truth stressers for MTL and its extensions (Q2270235) (← links)
- On triangular norms and uninorms definable in Ł\(\Pi \frac{1}{2}\) (Q2270383) (← links)
- A categorical equivalence for product algebras (Q2352457) (← links)
- Non-standard probability, coherence and conditional probability on many-valued events (Q2353901) (← links)
- Basic hoops: an algebraic study of continuous t-norms (Q2462673) (← links)
- Interpolation and Beth's property in propositional many-valued logics: a semantic investigation (Q2498905) (← links)
- On learning to coordinate: random bits help, insightful normal forms, and competency isomorphisms (Q2568460) (← links)
- Continuous approximations of product implication in MV-algebras with product (Q2574114) (← links)
- Subreducts of MV-algebras with product and product residuation (Q2577715) (← links)
- The Blok-Ferreirim theorem for normal GBL-algebras and its application (Q2655230) (← links)
- Investigation on fragments of first order branching temporal logic (Q2776809) (← links)
- Free \(\text{BL}_\Delta\)-algebras (Q2784598) (← links)
- (Q2998392) (← links)
- Models for Many-Valued Probabilistic Reasoning (Q3006597) (← links)
- The Guessing Secrets problem: a probabilistic approach (Q3022751) (← links)
- A Notion of Coherence for Books on Conditional Events in Many-valued Logic (Q3097872) (← links)
- An algebraic treatment of imprecise probabilities (Q3099656) (← links)
- (Q3140637) (← links)
- Creativeness and completeness in recursion categories of partial recursive operators (Q3199409) (← links)
- On Weakly Cancellative Fuzzy Logics (Q3411998) (← links)
- (Q3428802) (← links)
- Much shorter proofs: A bimodal investigation (Q3474647) (← links)
- A note on the first‐order logic of complete BL‐chains (Q3520231) (← links)
- Arithmetical Complexity of First-order Predicate Fuzzy Logics Over Distinguished Semantics (Q3553915) (← links)
- Archimedean classes in integral commutative residuated chains (Q3632529) (← links)
- ZFC-MODELS AS KRIPKE-MODELS (Q3669378) (← links)
- (Q3671157) (← links)
- Equivalence relations induced by extensional formulae: classification by means of a new fixed point property (Q3677759) (← links)
- A COMPLETENESS RESULT FOR FIXED‐POINT ALGEBRAS (Q3677760) (← links)
- (Q3699666) (← links)
- Universal recursion theoretic properties of r.e. preordered structures (Q3699683) (← links)
- Provability in finite subtheories of PA and relative interpretability: a modal investigation (Q3760515) (← links)
- Provable Fixed Points (Q3809768) (← links)
