Franco Montagna's work on provability logic and many-valued logic
From MaRDI portal
Publication:300553
DOI10.1007/s11225-016-9654-3zbMath1380.03004OpenAlexW2288972123MaRDI QIDQ300553
Tommaso Flaminio, Lev D. Beklemishev
Publication date: 28 June 2016
Published in: Studia Logica (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.1007/s11225-016-9654-3
Fuzzy logic; logic of vagueness (03B52) Modal logic (including the logic of norms) (03B45) Biographies, obituaries, personalia, bibliographies (01A70) Probability and inductive logic (03B48) Other algebras related to logic (03G25) History of mathematical logic and foundations (03-03) Many-valued logic (03B50) Provability logics and related algebras (e.g., diagonalizable algebras) (03F45)
Cites Work
- STRICT COHERENCE ON MANY-VALUED EVENTS
- Undecidability of the elementary theory of the semilattice of GLP-words
- Gödel's diagonalization technique and related properties of theories
- Storage Operators and Multiplicative Quantifiers in Many-valued Logics
- Imprecise probabilities, bets and functional analytic methods in Łukasiewicz logic
- The interpretability logic of Peano arithmetic
- Stable Non-standard Imprecise Probabilities
- THE ∀∃ THEORY OF PEANO Σ1 SENTENCES
- Logics in Artificial Intelligence
- Representation of conditional probability measures on Boolean algebras
- Coherence and the axioms of confirmation
- The \(L\Pi\) and \(L\Pi\frac 12\) logics: Two complete fuzzy systems joining Łukasiewicz and product logics
- Adding structure to MV-algebras
- Complexity of t-tautologies
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- On elementary theories of ordinal notation systems based on reflection principles
- Proof theory for locally finite many-valued logics: semi-projective logics
- Partially undetermined many-valued events and their conditional probability
- The second incompleteness theorem and bounded interpretations
- \(n\)-contractive BL-logics
- Modal logics with several operators and probability interpretations
- Advanced Łukasiewicz calculus and MV-algebras
- The free \(n\)-generated BL-algebra
- A logical characterization of coherence for imprecise probabilities
- State morphism MV-algebras
- The Rényi-Ulam games and many-valued logics
- Conditional probability on MV-algebras
- The logic of \(\Pi_ 1\)-conservativity
- The finite inseparability of the first-order theory of diagonalisable algebras
- The predicate modal logic of provability
- \(\mu \)MV-algebras: An approach to fixed points in Łukasiewicz logic
- On the structure of generalized BL-algebras
- Bookmaking over infinite-valued events
- A logic for reasoning about the probability of fuzzy events
- Product logic and probabilistic Ulam games
- NP-containment for the coherence test of assessments of conditional probability: a fuzzy logical approach
- Ł\(\Pi\) logic with fixed points
- MV-algebras with internal states and probabilistic fuzzy logics
- The coherence of Łukasiewicz assessments is NP-complete
- The consequence relation in the logic of commutative GBL-algebras is PSPACE-complete
- State-morphism MV-algebras
- Ordered groups with a conucleus
- Arithmetic analogues of McAloon's unique Rosser sentences
- Interpretations of the first-order theory of diagonalizable algebras in Peano arithmetic
- The undecidability of the first-order theory of diagonalizable algebras
- Explicit fixed points in interpretability logic
- On the proof of Solovay's theorem
- Representation and reticulation by quotients of MV-algebras
- Provability interpretations of modal logic
- On the algebraization of a Feferman's predicate. (The algebraization of theories which express Theor; X)
- Peano's smart children: A provability logical study of systems with built-in consistency
- Tensor products and the Loomis-Sikorski theorem for MV-algebras
- Metamathematics of fuzzy logic
- The logic of \(\Pi_ 1\)-conservativity continued
- On propositional quantifiers in provability logic
- Shavrukov's theorem on the subalgebras of diagonalizable algebras for theories containing \(I\Delta_ 0 + \exp\)
- A smart child of Peano's
- Monoidal t-norm based logic: Towards a logic for left-continuous t-norms
- Triangular norms
- MV-algebras, multiple bets and subjective states
- A proof of standard completeness for Esteva and Godo's logic MTL
- On the standard and rational completeness of some axiomatic extensions of the monoidal t-norm logic
- On the predicate logics of continuous t-norm BL-algebras
- A logical and algebraic treatment of conditional probability
- Standard completeness theorem for \(\Pi\)MTL
- Varieties of BL-algebras. I: General properties.
- Algebraic foundations of many-valued reasoning
- Averaging the truth-value in Łukasiewicz logic
- Slow consistency
- An algebraic approach to propositional fuzzy logic
- Amalgamation and interpolation in ordered algebras.
- Algebraic and proof-theoretic characterizations of truth stressers for MTL and its extensions
- A categorical equivalence for product algebras
- Non-standard probability, coherence and conditional probability on many-valued events
- De Finetti theorem and Borel states in \([0, 1\)-valued algebraic logic]
- Basic hoops: an algebraic study of continuous t-norms
- Representation and extension of states on MV-algebras
- Interpolation and Beth's property in propositional many-valued logics: a semantic investigation
- No escape from Vardanyan's theorem
- Continuous approximations of product implication in MV-algebras with product
- Subreducts of MV-algebras with product and product residuation
- Effectively inseparable Boolean algebras in lattices of sentences
- Advances in the theory of L algebras
- Models for Many-Valued Probabilistic Reasoning
- A new principle in the interpretability logic of all reasonable arithmetical theories
- A Notion of Coherence for Books on Conditional Events in Many-valued Logic
- Craig interpolation for semilinear substructural logics
- Fair bets and inductive probabilities
- Solution of a problem of Leon Henkin
- Algebraic Analysis of Many Valued Logics
- Arithmetization of metamathematics in a general setting
- Modal analysis of generalized rosser sentences
- On Weakly Cancellative Fuzzy Logics
- A note on the first‐order logic of complete BL‐chains
- Arithmetical Complexity of First-order Predicate Fuzzy Logics Over Distinguished Semantics
- Interpolation Properties, Beth Definability Properties and Amalgamation Properties for Substructural Logics
- Provability in finite subtheories of PA and relative interpretability: a modal investigation
- The degree of the set of sentences of predicate provability logic that are true under every interpretation
- Radically Elementary Probability Theory. (AM-117)
- Algebraizable logics
- The Uncertain Reasoner's Companion
- Undecidability in diagonalizable algebras
- Sul significato soggettivo della probabilità