Tableaux for Łukasiewicz infinite-valued logic
type: Item
instance of: scholarly article
title: Tableaux for Łukasiewicz infinite-valued logic
zbMATH Open document ID: 1015.03032
DOI: 10.1023/A:1022989323091
author: N. Olivetti
published in: Studia Logica
publication date: 2003-04-27T00:00:00Z
Mathematics Subject Classification ID: 03B50
zbMATH DE Number: 1901326
zbMATH Keywords: many-valued logic
zbMATH Keywords: labelled proof systems
zbMATH Keywords: linear programming
zbMATH Keywords: labelled tableau method
zbMATH Keywords: Kripke semantics
zbMATH Keywords: labelled deduction
MaRDI profile type: Publication
description: scientific article; zbMATH DE number 1901326