Cut and pay
type: Item
instance of: scholarly article
title: Cut and pay
zbMATH Open document ID: 1108.03034
author: Marcelo Finger
author: Dov Gabbay
published in: Journal of Logic, Language and Information
publication date: 2006-11-17T00:00:00Z
Mathematics Subject Classification ID: 03B60
Mathematics Subject Classification ID: 03B05
Mathematics Subject Classification ID: 03B25
Mathematics Subject Classification ID: 03F05
zbMATH DE Number: 5073809
zbMATH Keywords: resource aware logic
zbMATH Keywords: controlled cut-rule
zbMATH Keywords: classical logic
zbMATH Keywords: uniform substitution property
zbMATH Keywords: tableau-based decision procedure
MaRDI profile type: Publication
full work available at URL: s10849-005-9001-y
OpenAlex ID: W2037434830
cites work: Q4085699
cites work: Don't eliminate cut
cites work: Q4496851
cites work: Are tableaux an improvement on truth-tables? Cut-free proofs and bivalence
cites work: The Taming of the Cut. Classical Refutations with Analytic Cut
cites work: Logics in Artificial Intelligence
cites work: Advances in Artificial Intelligence – SBIA 2004
cites work: Approximate and Limited Reasoning: Semantics, Proof Theory, Expressivity and Control
cites work: Linear logic
cites work: Q4805593
cites work: Tractable reasoning via approximation
cites work: Q5560258
cites work: Q4532197
DOI: 10.1007/S10849-005-9001-Y
description: scientific article; zbMATH DE number 5073809