Proof theory for locally finite many-valued logics: semi-projective logics
DOI10.1016/J.TCS.2013.02.003zbMATH Open1322.03019DBLPjournals/tcs/CiabattoniM13OpenAlexW2127779282WikidataQ39623390 ScholiaQ39623390MaRDI QIDQ385019FDOQ385019
Agata Ciabattoni, Franco Montagna
Publication date: 29 November 2013
Published in: Theoretical Computer Science (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.1016/j.tcs.2013.02.003
Recommendations
- scientific article; zbMATH DE number 1341466
- scientific article; zbMATH DE number 2042614
- Minimally many-valued extensions of the monoidal t-norm based logic MTL
- \(n\)-contractive BL-logics
- Minimal sequent calculi for Lukasiewicz's finitely-valued logics
- On the construction of analytic sequent calculi for sub-classical logics
- Complexity issues in Basic Logic
- Automated support for the investigation of paraconsistent and other logics
- Non-elementary speed-ups in proof length by different variants of classical analytic calculi
- scientific article; zbMATH DE number 2068681
computational complexitymany-valued logicbasic logicanalytic calculifirst-order logicsnilpotent minimum logicsequents of relations
Many-valued logic (03B50) Proof theory in general (including proof-theoretic semantics) (03F03) Decidability of theories and sets of sentences (03B25)
Cites Work
- Metamathematics of fuzzy logic
- Monoidal t-norm based logic: Towards a logic for left-continuous t-norms
- Algebraic foundations of many-valued reasoning
- Title not available (Why is that?)
- Proof theory for fuzzy logics
- Algebraizable logics
- \(n\)-contractive BL-logics
- Residuated fuzzy logics with an involutive negation
- Title not available (Why is that?)
- T-norm-based logics with an independent involutive negation
- On theories and models in fuzzy predicate logics
- MUltlog 1.0: Towards an expert system for many-valued logics
- Automated deduction for many-valued logics
- Ordered chaining calculi for first-order theories of transitive relations
- Title not available (Why is that?)
- Analytic Calculi for Logics of Ordinal Multiples of Standard t-Norms
- Logic for Programming, Artificial Intelligence, and Reasoning
- Canonicity in subvarieties of BL-algebras
Cited In (7)
- Title not available (Why is that?)
- Franco Montagna's work on provability logic and many-valued logic
- Hypersequent and display calculi -- a unified perspective
- Compositional meaning in logic
- Proof search and co-NP completeness for many-valued logics
- Obituary: Franco Montagna (1948--2015)
- Title not available (Why is that?)
Uses Software
This page was built for publication: Proof theory for locally finite many-valued logics: semi-projective logics
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q385019)
