The quantified argument calculus

DOI10.1017/S1755020313000373MaRDI QIDQ2940869zbMATH OpenOpenAlexFDO

Authors Hanoch Ben-Yami

Publication date 21 January 2015

Published in The Review of Symbolic Logic (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1017/s1755020313000373

zbMATH Keywords

logic of natural languagequantified argument calculustruth-value assignment semantics

Mathematics Subject Classification ID

Logic of natural languages (03B65)

Recommendations

• A three-valued quantified argument calculus: domain-free model-theory, completeness, and embedding of FOL
• Free logic and the quantified argument calculus
• scientific article; zbMATH DE number 698631
• A logic inspired by natural language: quantifiers as subnectors
• scientific article; zbMATH DE number 3887652

Cites work

• A Functional calculus of first order based on strict implication
• Handbook of philosophical logic. Vol. I: Elements of classical logic
• LOGICS FOR THE RELATIONAL SYLLOGISTIC
• PLURAL QUANTIFICATION LOGIC: A CRITICAL APPRAISAL

Cited in

(19)

• Free logic and the quantified argument calculus
• THE IDENTITY OF ARGUMENT-PLACES
• The Barcan formulas and necessary existence: the view from quarc
• Negative predication and distinctness
• On `there is': logical investigations into instantial sentences
• Aristotle, logic, and QUARC
• Quantitative argumentation debates with votes for opinion polling
• An axiomatic approach to the quantified argument calculus
• Morphisms between Aristotelian diagrams
• Aristotelian and Boolean properties of the Keynes-Johnson octagon of opposition
• A logic inspired by natural language: quantifiers as subnectors
• Decidable fragments of the quantified argument calculus
• A three-valued quantified argument calculus: domain-free model-theory, completeness, and embedding of FOL
• \textsf{QUARC} and classical logic
• ABSTRACT FORMS OF QUANTIFICATION IN THE QUANTIFIED ARGUMENT CALCULUS
• Alpha-structures and ladders in logical geometry
• Truth-value semantics for a logic of existence
• The quantified argument calculus with two- and three-valued truth-valuational semantics
• PROOF-THEORETIC ANALYSIS OF THE QUANTIFIED ARGUMENT CALCULUS

This page was built for publication: The quantified argument calculus

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