Franco Montagna

107 papers A* 1C 1Journal 100Unranked 5

Year	Rank	Type	Title / Venue / Authors
2018	J	`jnl`	Strict Coherence on Many-Valued Events. J. Symb. Log. Tommaso Flaminio, Hykel Hosni, Franco Montagna
2018	J	`jnl`	Varieties of BL-Algebras II. Stud Logica Paolo Aglianò, Franco Montagna
2016	J	`jnl`	Erratum to: A classification of certain group-like FL Synth. Sándor Jenei, Franco Montagna
2016	J	`jnl`	Proof search and Co-NP completeness for many-valued logics. Fuzzy Sets Syst. Mattia Bongini, Agata Ciabattoni, Franco Montagna
2016	J	`jnl`	The Rényi-Ulam games and many-valued logics. Fuzzy Sets Syst. Esther Anna Corsi, Franco Montagna
2015	J	`jnl`	A Categorical Equivalence for Product Algebras. Stud Logica Franco Montagna, Sara Ugolini
2015	J	`jnl`	A classification of certain group-like FL Synth. Sándor Jenei, Franco Montagna
2015	J	`jnl`	Erratum to: Trakhtenbrot Theorem and First-Order Axiomatic Extensions of MTL. Stud Logica Matteo Bianchi, Franco Montagna
2015	J	`jnl`	Taking the Pirahã seriously. Commun. Nonlinear Sci. Numer. Simul. Franco Montagna, Giulia Simi, Andrea Sorbi
2015	J	`jnl`	Trakhtenbrot Theorem and First-Order Axiomatic Extensions of MTL. Stud Logica Matteo Bianchi, Franco Montagna
2014	—	`conf`	Stable Non-standard Imprecise Probabilities. IPMU (3) Hykel Hosni, Franco Montagna
2013	J	`jnl`	A Short Note on Essentially Σ Logica Universalis Franco Montagna, Duccio Pianigiani
2013	J	`jnl`	Non-standard probability, coherence and conditional probability on many-valued events. Int. J. Approx. Reason. Franco Montagna, Martina Fedel, Giuseppe Scianna
2013	J	`jnl`	Polynomial space hardness without disjunction property. Theor. Comput. Sci. Simone Bova, Franco Montagna
2013	J	`jnl`	Proof theory for locally finite many-valued logics: Semi-projective logics. Theor. Comput. Sci. Agata Ciabattoni, Franco Montagna
2013	J	`jnl`	Strongly involutive uninorm algebras. J. Log. Comput. Sándor Jenei, Franco Montagna
2012	J	`jnl`	Partially Undetermined Many-Valued Events and Their Conditional Probability. J. Philos. Log. Franco Montagna
2012	—	`conf`	Two new classification theorems on residuated monoids. ISMVL Sándor Jenei, Franco Montagna
2012	J	`jnl`	Δ-core Fuzzy Logics with Propositional Quantifiers, Quantifier Elimination and Uniform Craig Interpolation. Stud Logica Franco Montagna
2011	J	`jnl`	A Notion of Coherence for Books on Conditional Events in Many-valued Logic. J. Log. Comput. Franco Montagna
2011	J	`jnl`	A logical characterization of coherence for imprecise probabilities. Int. J. Approx. Reason. Martina Fedel, Hykel Hosni, Franco Montagna
2011	J	`jnl`	Completeness with respect to a chain and universal models in fuzzy logic. Arch. Math. Log. Franco Montagna
2011	J	`jnl`	Editorial. Log. J. IGPL Franco Montagna
2011	J	`jnl`	Models for Many-Valued Probabilistic Reasoning. J. Log. Comput. Tommaso Flaminio, Franco Montagna
2011	J	`jnl`	Quantifier Elimination and Other Model-Theoretic Properties of BL-Algebras. Notre Dame J. Formal Log. Tommaso Cortonesi, Enrico Marchioni, Franco Montagna
2011	J	`jnl`	State morphism MV-algebras. Int. J. Approx. Reason. Anatolij Dvurecenskij, Tomasz Kowalski, Franco Montagna
2010	J	`jnl`	Algebraic and proof-theoretic characterizations of truth stressers for MTL and its extensions. Fuzzy Sets Syst. Agata Ciabattoni, George Metcalfe, Franco Montagna
2010	J	`jnl`	Arithmetical Complexity of First-order Predicate Fuzzy Logics Over Distinguished Semantics. J. Log. Comput. Franco Montagna, Carles Noguera
2009	J	`jnl`	Archimedean classes in integral commutative residuated chains. Math. Log. Q. Rostislav Horcík, Franco Montagna
2009	J	`jnl`	Distinguished algebraic semantics for t-norm based fuzzy logics: Methods and algebraic equivalencies. Ann. Pure Appl. Log. Petr Cintula, Francesc Esteva, Joan Gispert, Lluís Godo, Franco Montagna, Carles Noguera
2009	J	`jnl`	MV-algebras with internal states and probabilistic fuzzy logics. Int. J. Approx. Reason. Tommaso Flaminio, Franco Montagna
2009	J	`jnl`	Supersound many-valued logics and Dedekind-MacNeille completions. Arch. Math. Log. Matteo Bianchi, Franco Montagna
2009	J	`jnl`	The consequence relation in the logic of commutative GBL-algebras is PSPACE-complete. Theor. Comput. Sci. Simone Bova, Franco Montagna
2009	J	`jnl`	Two cooperative versions of the Guessing Secrets problem. Inf. Sci. Giuseppe Sergioli, Antonio Ledda, Francesco Paoli, Roberto Giuntini, Tomasz Kowalski, Franco Montagna, Hector Freytes, Claudio Marini
2008	J	`jnl`	A note on the first-order logic of complete BL-chains. Math. Log. Q. Petr Hájek, Franco Montagna
2008	J	`jnl`	On triangular norms and uninorms definable in Pi 1/2. Int. J. Approx. Reason. Enrico Marchioni, Franco Montagna
2008	J	`jnl`	Proof search in Hájek's basic logic. ACM Trans. Comput. Log. Simone Bova, Franco Montagna
2007	—	`conf`	An Algebraic Approach to States on MV-algebras. EUSFLAT Conf. (2) Tommaso Flaminio, Franco Montagna
2007	J	`jnl`	Basic Hoops: an Algebraic Study of Continuous Stud Logica Paolo Aglianò, Isabel M. A. Ferreirim, Franco Montagna
2007	J	`jnl`	Complexity and Definability Issues in L Pi 1/2. J. Log. Comput. Enrico Marchioni, Franco Montagna
2007	J	`jnl`	Product logic and probabilistic Ulam games. Fuzzy Sets Syst. Franco Montagna, Claudio Marini, Giulia Simi
2007	J	`jnl`	Substructural fuzzy logics. J. Symb. Log. George Metcalfe, Franco Montagna
2006	J	`jnl`	Interpolation and Beth's property in propositional many-valued logics: A semantic investigation. Ann. Pure Appl. Log. Franco Montagna
2006	—	`conf`	Notes on Strong Completeness in Lukasiewicz, Product and Algebraic and Proof-theoretic Aspects of Non-classical Logics Franco Montagna
2006	J	`jnl`	On Weakly Cancellative Fuzzy Logics. J. Log. Comput. Franco Montagna, Carles Noguera, Rostislav Horcík
2006	J	`jnl`	Proof Search in Hajek's Basic Logic CoRR Simone Bova, Franco Montagna
2006	—	`conf`	Rényi-Ulam Game Semantics for Product Logic and for the Logic of Cancellative Hoops. Algebraic and Proof-theoretic Aspects of Non-classical Logics Sándor Jenei, Franco Montagna
2005	J	`jnl`	A logical and algebraic treatment of conditional probability. Arch. Math. Log. Tommaso Flaminio, Franco Montagna
2005	J	`jnl`	Continuous approximations of product implication in MV-algebras with product. Soft Comput. Franco Montagna, Luca Spada
2005	J	`jnl`	Generating the variety of BL-algebras. Soft Comput. Franco Montagna
2005	J	`jnl`	On learning to coordinate: random bits help, insightful normal forms, and competency isomorphisms. J. Comput. Syst. Sci. John Case, Sanjay Jain, Franco Montagna, Giulia Simi, Andrea Sorbi
2005	J	`jnl`	On the predicate logics of continuous t-norm BL-algebras. Arch. Math. Log. Franco Montagna
2005	J	`jnl`	The Guessing Secrets problem: a probabilistic approach. J. Algorithms Alberto Del Lungo, Guy Louchard, Claudio Marini, Franco Montagna
2005	J	`jnl`	Varieties of BL-algebras. Soft Comput. Antonio Di Nola, Francesc Esteva, Lluís Godo, Franco Montagna
2004	J	`jnl`	Analytic Calculi for Monoidal T-norm Based Logic. Fundam. Informaticae Matthias Baaz, Agata Ciabattoni, Franco Montagna
2004	J	`jnl`	Corrigendum to "Kripke-style semantics for many-valued logics". Math. Log. Q. Franco Montagna, Lorenzo Sacchetti
2004	J	`jnl`	Equational Characterization of the Subvarieties of BL Generated by t-norm Algebras. Stud Logica Francesc Esteva, Lluís Godo, Franco Montagna
2004	J	`jnl`	Storage Operators and Multiplicative Quantifiers in Many-valued Logics. J. Log. Comput. Franco Montagna
2003	J	`jnl`	A Tableau Calculus for Hájek's Logic BL. J. Log. Comput. Franco Montagna, G. Michele Pinna, Elisa B. P. Tiezzi
2003	J	`jnl`	A general method for constructing left-continuous t-norms. Fuzzy Sets Syst. Sándor Jenei, Franco Montagna
2003	C	`conf`	Axiomatization of Anz Residuated Fuzzy Logic Defined bz a Continuous T-norm. IFSA Francesc Esteva, Lluís Godo, Franco Montagna
2003	J	`jnl`	Hoops and Fuzzy Logic. J. Log. Comput. Francesc Esteva, Lluís Godo, Petr Hájek, Franco Montagna
2003	J	`jnl`	Kripke-style semantics for many-valued logics. Math. Log. Q. Franco Montagna, Lorenzo Sacchetti
2003	A*	`conf`	On Learning to Coordinate: Random Bits Help, Insightful Normal Forms, and Competency Isomorphisms. COLT John Case, Sanjay Jain, Franco Montagna, Giulia Simi, Andrea Sorbi
2003	J	`jnl`	On the continuity points of left-continuous t-norms. Arch. Math. Log. Sándor Jenei, Franco Montagna
2003	J	`jnl`	PAC learning of probability distributions over a discrete domain. Theor. Comput. Sci. Letizia Magnoni, Massimo Mirolli, Franco Montagna, Giulia Simi
2002	J	`jnl`	A Proof of Standard Completeness for Esteva and Godo's Logic MTL. Stud Logica Sándor Jenei, Franco Montagna
2002	J	`jnl`	Investigations on Fragments of First Order Branching Temporal Logic. Math. Log. Q. Franco Montagna, G. Michele Pinna, Elisa B. P. Tiezzi
2002	J	`jnl`	Kripke Semantics, Undecidability and Standard Completeness for Esteva and Godo's Logic MTL[forall]. Stud Logica Franco Montagna, Hiroakira Ono
2002	J	`jnl`	On a class of left-continuous t-norms. Fuzzy Sets Syst. Roberto Cignoli, Francesc Esteva, Lluís Godo, Franco Montagna
2002	J	`jnl`	On the Standard and Rational Completeness of some Axiomatic Extensions of the Monoidal T-norm Logic. Stud Logica Francesc Esteva, Joan Gispert, Lluís Godo, Franco Montagna
2001	J	`jnl`	Complexity of t-tautologies. Ann. Pure Appl. Log. Matthias Baaz, Petr Hájek, Franco Montagna, Helmut Veith
2001	J	`jnl`	The Arch. Math. Log. Francesc Esteva, Lluís Godo, Franco Montagna
2001	J	`jnl`	Three Complexity Problems in Quantified Fuzzy Logic. Stud Logica Franco Montagna
2000	J	`jnl`	A Cut-free Proof System for Bounded Metric Temporal Logic Over a Dense Time Domain. Math. Log. Q. Franco Montagna, G. Michele Pinna, Elisa B. P. Tiezzi
2000	J	`jnl`	An Algebraic Approach to Propositional Fuzzy Logic. J. Log. Lang. Inf. Franco Montagna
1999	J	`jnl`	An Operational Logic of Proofs with Positive and Negative Information. Stud Logica Duccio Luchi, Franco Montagna
1999	J	`jnl`	Learning to Coordinate; a Recursion Theoretic Perspective. Synth. Franco Montagna, Daniel N. Osherson
1999	J	`jnl`	Paradigms in Measure Theoretic Learning and in Informant Learning. Stud Logica Franco Montagna, Giulia Simi
1998	J	`jnl`	Investigations on Measure-One Identification of Classes of Languages. Inf. Comput. Franco Montagna
1996	J	`jnl`	An algebraic treatment of quantifier-free systems of arithmetic. Arch. Math. Log. Franco Montagna
1996	J	`jnl`	Logic and probabilistic systems. Arch. Math. Log. Franco Montagna, Giulia Simi, Andrea Sorbi
1994	J	`jnl`	A Minimal Predicative Set Theory. Notre Dame J. Formal Log. Franco Montagna, Antonella Mancini
1994	J	`jnl`	A Note on Relative Efficiency of Axiom Systems. Math. Log. Q. Andrea Sorbi, Sandra Fontani, Franco Montagna
1994	J	`jnl`	On First-Order Theories with Provability Operator. J. Symb. Log. Sergei N. Artëmov, Franco Montagna
1992	J	`jnl`	Polynomially and Superexponentially Shorter Proofs in Fragments of Logic. J. Symb. Log. Franco Montagna
1992	J	`jnl`	The logic of Arch. Math. Log. Petr Hájek, Franco Montagna
1991	J	`jnl`	On the proof of Solovay's theorem. Stud Logica Dick de Jongh, Marc Jumelet, Franco Montagna
1991	J	`jnl`	Rosser orderings and free variables. Stud Logica Dick de Jongh, Franco Montagna
1991	J	`jnl`	Some Properties of the Syntactic p-Recursion Categories Generated by Consistent, Recursively Enumerable Extensions of Peano Arithmetic. J. Symb. Log. Robert A. Di Paola, Franco Montagna
1990	J	`jnl`	A note on some extension results. Stud Logica Franco Montagna, Giovanni Sommaruga
1990	J	`jnl`	Much shorter proofs: A bimodal investigation. Math. Log. Q. Alessandra Carbone, Franco Montagna
1990	J	`jnl`	The logic of π Arch. Math. Log. Petr Hájek, Franco Montagna
1989	J	`jnl`	"Pathologies" in Two Syntactic Categories of Partial Maps. Notre Dame J. Formal Log. Franco Montagna
1989	J	`jnl`	Creativeness and Completeness in Recursion Categories of Partial Recursive Operators. J. Symb. Log. Franco Montagna, Andrea Sorbi
1989	J	`jnl`	Much Shorter Proofs. Math. Log. Q. Dick de Jongh, Franco Montagna
1989	J	`jnl`	Rosser Orderings in Bimodal Logics. Math. Log. Q. Alessandra Carbone, Franco Montagna
1988	J	`jnl`	Provable Fixed Points. Math. Log. Q. Dick de Jongh, Franco Montagna
1988	J	`jnl`	Rosser and mostowski sentences. Arch. Math. Log. Franco Montagna, Giovanni Sommaruga
1987	J	`jnl`	Generic generalized Rosser fixed points. Stud Logica Dick H. J. Jongh, Franco Montagna
1987	J	`jnl`	Iterated Extensional Rosser's Fixed Points and Hyperhyperdiagonalizable Algebras. Math. Log. Q. Franco Montagna
1987	J	`jnl`	Provability in Finite Subtheories of Pa and Relative Interpretability: A Modal Investigation. J. Symb. Log. Franco Montagna
1985	J	`jnl`	Universal Recursion Theoretic Properties of R.E. Preordered Structures. J. Symb. Log. Franco Montagna, Andrea Sorbi
1984	J	`jnl`	A Completeness Result for Fixed-Point Algebras. Math. Log. Q. Franco Montagna
1984	J	`jnl`	The predicate modal logic of provability. Notre Dame J. Formal Log. Franco Montagna
1983	J	`jnl`	Zfc-Models as Kripke-Models. Math. Log. Q. Franco Montagna
1982	J	`jnl`	Relatively precomplete numerations and arithmetic. J. Philos. Log. Franco Montagna