Analytic calculi for projective logics

DOI10.1007/3-540-48754-9_8MaRDI QIDQ4263005zbMATH OpenFDO

Authors Matthias Baaz, Christian G. Fermüller

Publication date 21 November 1999

Published in Lecture Notes in Computer Science (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1007/3-540-48754-9_8

zbMATH Keywords

cut rulesfinite-valued logicsGentzen type calculiinfinite-valued Gödel logicprojective logicsprojective propositional logicsstructural rulestruth functions

Mathematics Subject Classification ID

Many-valued logic (03B50) Proof theory in general (including proof-theoretic semantics) (03F03) Logic in artificial intelligence (68T27)

Recommendations

• scientific article; zbMATH DE number 2042614
• Proof theory for locally finite many-valued logics: semi-projective logics
• An analytic calculus for quantified propositional Gödel logic
• Hypersequent Calculi for Godel Logics -- a Survey

Cited in

(21)

• Dialogue games for many-valued logics -- an overview
• Proof search and co-NP completeness for many-valued logics
• Analytic calculi for product logics
• From semantic games to provability: the case of Gödel logic
• From truth degree comparison games to sequents-of-relations calculi for Gödel logic
• Hypersequent and display calculi -- a unified perspective
• Terminating calculi for propositional Dummett logic with subformula property
• An analytic calculus for quantified propositional Gödel logic
• A Resolution/Tableaux Algorithm for Projective Approximations in IPC
• Anti-chains, focuses and projective formulas
• Proof theory for locally finite many-valued logics: semi-projective logics
• scientific article; zbMATH DE number 1950262 (Why is no real title available?)
• scientific article; zbMATH DE number 2042614 (Why is no real title available?)
• scientific article; zbMATH DE number 922613 (Why is no real title available?)
• Analytic Calculi for Logics of Ordinal Multiples of Standard t-Norms
• A Gödel modal logic over witnessed crisp models
• The higher dimensional propositional calculus
• A revised projectivity calculus for inclusion and exclusion reasoning
• Normal forms for fuzzy logics: a proof-theoretic approach
• On the (fuzzy) logical content of CADIAG-2
• Fast decision procedure for propositional Dummett logic based on a multiple premise tableau calculus

Describes a project that uses

Uses Software

• MUltlog

This page was built for publication: Analytic calculi for projective logics

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q4263005)