A three-valued quantified argument calculus: domain-free model-theory, completeness, and embedding of FOL

DOI10.1017/S1755020317000053MaRDI QIDQ5357329zbMATH OpenOpenAlexFDO

Authors Ran Lanzet

Publication date 15 September 2017

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

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

zbMATH Keywords

3-quarcanaphoracompletenessdefining clausedomaindomain of quantificationdomain-free model theorynatural languagequantified argumentquantified argument calculusQuarcreordered formsquare of oppositionthree-valued logicthree-valued quarcuniverse

Mathematics Subject Classification ID

Classical first-order logic (03B10) Many-valued logic (03B50) Logic of natural languages (03B65)

Recommendations

• The quantified argument calculus
• Free logic and the quantified argument calculus
• A logic inspired by natural language: quantifiers as subnectors
• A three-valued Fregean quantification logic
• Truth-value semantics for a logic of existence

Cites work

• A logic inspired by natural language: quantifiers as subnectors
• Dynamic predicate logic
• Generalized quantifiers and natural language
• scientific article; zbMATH DE number 3162889 (Why is no real title available?)
• Logical inquiries into a new formal system with plural reference
• LOGICS FOR THE RELATIONAL SYLLOGISTIC
• Logics for two fragments beyond the syllogistic boundary
• The quantified argument calculus
• The strong completeness of a system based on Kleene's strong three-valued logic
• The Strong Completeness of a System for Kleene's Three‐Valued Logic

Cited in

(12)

• The quantified argument calculus with two- and three-valued truth-valuational semantics
• The quantified argument calculus
• A logic inspired by natural language: quantifiers as subnectors
• Free logic and the quantified argument calculus
• Aristotle, logic, and QUARC
• PROOF-THEORETIC ANALYSIS OF THE QUANTIFIED ARGUMENT CALCULUS
• ABSTRACT FORMS OF QUANTIFICATION IN THE QUANTIFIED ARGUMENT CALCULUS
• The Barcan formulas and necessary existence: the view from quarc
• Decidable fragments of the quantified argument calculus
• On `there is': logical investigations into instantial sentences
• An axiomatic approach to the quantified argument calculus
• \textsf{QUARC} and classical logic

This page was built for publication: A three-valued quantified argument calculus: domain-free model-theory, completeness, and embedding of FOL

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