A game-based formal system for Ł\(_\infty\)
type: Item
instance of: scholarly article
title: A game-based formal system for Ł\(_\infty\)
zbMATH Open document ID: 0417.03008
DOI: 10.1007/BF00493672
author: Alan Adamson
author: Robin Giles
published in: Studia Logica
publication date: 1979-01-01T00:00:00Z
Mathematics Subject Classification ID: 03B50
zbMATH DE Number: 3648681
zbMATH Keywords: many-valued logic
zbMATH Keywords: Lukasiewicz propositional calculus
zbMATH Keywords: Lukasiewicz predicate calculus
zbMATH Keywords: axiomatizability
zbMATH Keywords: completeness
zbMATH Keywords: game-theoretic motivation
zbMATH Keywords: decision procedure for validity
zbMATH Keywords: Herbrand-type theorem
zbMATH Keywords: equality
MaRDI profile type: Publication
cites work: Continuous Model Theory. (AM-58)
cites work: Łukasiewicz logic and fuzzy set theory
cites work: A theorem about infinite-valued sentential logic
cites work: Axiomatizability of some many valued predicate calculi
cites work: Q5731773
cites work: Fragments of Many-Valued Statement Calculi
cites work: Die nichtaxiomatisierbarkeit des unendlichwertigen Prädikatenkalküls von Łukasiewicz
cites work: Beiträge zum Metaaussagenkalkül I
full work available at URL: https://doi.org/10.1007/bf00493672
OpenAlex ID: W1582789112
description: scientific article; zbMATH DE number 3648681