Proof theory for locally finite many-valued logics: semi-projective logics

DOI10.1016/J.TCS.2013.02.003MaRDI QIDQ385019zbMATH OpenOpenAlexDBLPWikidataFDO

Authors Agata Ciabattoni, Franco Montagna

Publication date 29 November 2013

Published in Theoretical Computer Science (Search for Journal in Brave)

Copyright license Creative Commons Attribution-NonCommercial-NoDerivatives 4.0 International

Full work available at URL https://doi.org/10.1016/j.tcs.2013.02.003

zbMATH Keywords

computational complexitymany-valued logicbasic logicanalytic calculifirst-order logicsnilpotent minimum logicsequents of relations

Mathematics Subject Classification ID

Many-valued logic (03B50) Proof theory in general (including proof-theoretic semantics) (03F03) Decidability of theories and sets of sentences (03B25)

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

Cites work

• scientific article; zbMATH DE number 956466 (Why is no real title available?)
• scientific article; zbMATH DE number 3751028 (Why is no real title available?)
• scientific article; zbMATH DE number 1341466 (Why is no real title available?)
• Algebraic foundations of many-valued reasoning
• Algebraizable logics
• Analytic Calculi for Logics of Ordinal Multiples of Standard t-Norms
• Automated deduction for many-valued logics
• Canonicity in subvarieties of BL-algebras
• Logic for Programming, Artificial Intelligence, and Reasoning
• MUltlog 1.0: towards an expert system for many-valued logics
• Metamathematics of fuzzy logic
• Monoidal t-norm based logic: Towards a logic for left-continuous t-norms
• On theories and models in fuzzy predicate logics
• Ordered chaining calculi for first-order theories of transitive relations
• Proof theory for fuzzy logics
• Residuated fuzzy logics with an involutive negation
• T-norm-based logics with an independent involutive negation
• \(n\)-contractive BL-logics

Cited in

(9)

• Hypersequent and display calculi -- a unified perspective
• scientific article; zbMATH DE number 2042614 (Why is no real title available?)
• Proof search and co-NP completeness for many-valued logics
• Minimal sequent calculi for monotonic chain finitely-valued logics
• scientific article; zbMATH DE number 4029553 (Why is no real title available?)
• Compositional meaning in logic
• Obituary: Franco Montagna (1948--2015)
• Tree-like proof systems for finitely-many valued non-deterministic consequence relations
• Franco Montagna's work on provability logic and many-valued logic

Describes a project that uses

Uses Software

• MUltlog

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)