scientific article; zbMATH DE number 5772817

MaRDI QIDQ3584007zbMATH OpenFDO

Authors Christian G. Fermüller

Publication date 18 August 2010

zbMATH Keywords

proof theorymany-valued logicshypersequent calculidialogue gamesstrategic gamefuzzy logicsŁukasiewicz logic

Mathematics Subject Classification ID

Many-valued logic (03B50) Fuzzy logic; logic of vagueness (03B52) Proof theory in general (including proof-theoretic semantics) (03F03)

Recommendations

• Automated Reasoning with Analytic Tableaux and Related Methods
• Connecting sequent calculi with Lorenzen-style dialogue games
• On dialogue games and graph games
• Dialogue games for many-valued logics -- an overview
• First-order dialogical games and tableaux
• scientific article; zbMATH DE number 5851814
• Games that agents play: A formal framework for dialogues between autonomous agents
• Towards encoding of the transition relation in dialogue games model checking

Cited in

(9)

• From games to truth functions: a generalization of Giles's game
• Dialogue games for many-valued logics -- an overview
• Connecting sequent calculi with Lorenzen-style dialogue games
• Dialogue Game Tree with Nondeterministic Additive Consolidation
• Automated Reasoning with Analytic Tableaux and Related Methods
• Giles's game and the proof theory of Łukasiewicz logic
• Bridges between contextual linguistic models of vagueness and \(t\)-norm based fuzzy logic
• Dialogue games for Dishkant's quantum modal logic
• scientific article; zbMATH DE number 5851814 (Why is no real title available?)

This page was built for publication:

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