Reasoning with ambiguity

DOI10.1007/S10849-020-09324-5MaRDI QIDQ2035848zbMATH OpenOpenAlexFDO

Authors Christian Wurm

Publication date 25 June 2021

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

Copyright license Creative Commons Attribution 4.0 International

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

zbMATH Keywords

ambiguityproof theoryalgebrareasoningcomputational linguistics

Mathematics Subject Classification ID

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

Recommendations

• The logic of ambiguity: the propositional case
• A logic for reasoning about ambiguity
• scientific article; zbMATH DE number 1189107
• Sequent systems for nondeterministic propositional logics without reflexivity
• The proper treatment of linguistic ambiguity in ordinary algebra

Cites work

• scientific article; zbMATH DE number 742720 (Why is no real title available?)
• scientific article; zbMATH DE number 1907195 (Why is no real title available?)
• Algebra, proof theory and applications for a logic of propositions, actions and adjoint modal operators
• Representation and productive ambiguity in mathematics and the sciences
• Residuated lattices. An algebraic glimpse at substructural logics
• Structural proof theory. With an appendix by Aarne Ranta
• The logic of ambiguity: the propositional case
• The mathematics of language
• The proper treatment of linguistic ambiguity in ordinary algebra

Cited in

(10)

• Sequent systems for nondeterministic propositional logics without reflexivity
• Ambiguity and Second-Order Belief
• scientific article; zbMATH DE number 4045244 (Why is no real title available?)
• The logic of ambiguity: the propositional case
• Reasoning with slippery predicates
• The proper treatment of linguistic ambiguity in ordinary algebra
• scientific article; zbMATH DE number 1189107 (Why is no real title available?)
• The family of ambiguity logics
• A logic for reasoning about ambiguity
• Reasoning with different levels of uncertainty

Describes a project that uses

Uses Software

• Pesca

This page was built for publication: Reasoning with ambiguity

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q2035848)