scientific article; zbMATH DE number 5772817
From MaRDI portal
Publication:3584007
zbMATH Open1206.03026MaRDI QIDQ3584007FDOQ3584007
Authors: Christian G. Fermüller 
Publication date: 18 August 2010
Title of this publication is not available (Why is that?)
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
proof theorymany-valued logicshypersequent calculidialogue gamesstrategic gamefuzzy logicsŁukasiewicz logic
Many-valued logic (03B50) Fuzzy logic; logic of vagueness (03B52) Proof theory in general (including proof-theoretic semantics) (03F03)
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
- Title not available (Why is that?)
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)
