Binary quantification systems

DOI10.1305/NDJFL/1040149354zbMath0838.03025OpenAlexW2007601943MaRDI QIDQ1906668

Michaelis Michael, A. V. Townsend

Publication date: 6 June 1996

Published in: Notre Dame Journal of Formal Logic (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1305/ndjfl/1040149354

zbMATH Keywords

completenessnatural deductionsoundnessformal theory of binary quantifierssurface structure of natural language quantifier phrases

Mathematics Subject Classification ID

Logic of natural languages (03B65)

Cites Work

• Unnamed Item
• Unnamed Item
• Unnamed Item

This page was built for publication: Binary quantification systems