A THREE-VALUED QUANTIFIED ARGUMENT CALCULUS: DOMAIN-FREE MODEL-THEORY, COMPLETENESS, AND EMBEDDING OF FOL

DOI10.1017/S1755020317000053zbMath1421.03013OpenAlexW2612817393MaRDI QIDQ5357329

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

completenessuniverseanaphoranatural languagethree-valued logicdomain of quantificationdomainsquare of oppositionquantified argument calculus3-quarcdefining clausedomain-free model theoryquantified argumentQuarcreordered formthree-valued quarc

Mathematics Subject Classification ID

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

Related Items (4)

ABSTRACT FORMS OF QUANTIFICATION IN THE QUANTIFIED ARGUMENT CALCULUS ⋮ The Barcan formulas and necessary existence: the view from quarc ⋮ The quantified argument calculus with two- and three-valued truth-valuational semantics ⋮ Aristotle, Logic, and QUARC

Cites Work

• Unnamed Item
• Unnamed Item
• A logic inspired by natural language: quantifiers as subnectors
• The strong completeness of a system based on Kleene's strong three-valued logic
• THE QUANTIFIED ARGUMENT CALCULUS
• Logics for Two Fragments beyond the Syllogistic Boundary
• Generalized quantifiers and natural language
• The Strong Completeness of a System for Kleene's Three‐Valued Logic
• Dynamic predicate logic
• LOGICS FOR THE RELATIONAL SYLLOGISTIC

This page was built for publication: A THREE-VALUED QUANTIFIED ARGUMENT CALCULUS: DOMAIN-FREE MODEL-THEORY, COMPLETENESS, AND EMBEDDING OF FOL