Reasoning with ambiguity

DOI10.1007/s10849-020-09324-5zbMath1496.03122OpenAlexW3133785645MaRDI QIDQ2035848

Christian Wurm

Publication date: 25 June 2021

Published in: Journal of Logic, Language and Information (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1007/s10849-020-09324-5

zbMATH Keywords

reasoningproof theoryambiguitycomputational linguisticsalgebra

Mathematics Subject Classification ID

Logic of natural languages (03B65) Cut-elimination and normal-form theorems (03F05)

Uses Software

• Pesca

Cites Work

• Residuated lattices. An algebraic glimpse at substructural logics
• The logic of ambiguity: the propositional case
• The Proper Treatment of Linguistic Ambiguity in Ordinary Algebra
• Algebra, Proof Theory and Applications for a Logic of Propositions, Actions and Adjoint Modal Operators
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item