Free logic and the quantified argument calculus

DOI10.1515/9783110657883-007MaRDI QIDQ5115855zbMATH OpenOpenAlexFDO

Authors Edi Pavlović, Norbert Gratzl

Publication date 21 August 2020

Published in Philosophy of Logic and Mathematics (Search for Journal in Brave)

Full work available at URL http://hdl.handle.net/10138/320976

Mathematics Subject Classification ID

Higher-order logic (03B16) Logic of natural languages (03B65) Proof theory in general (including proof-theoretic semantics) (03F03)

Recommendations

• The quantified argument calculus
• A three-valued quantified argument calculus: domain-free model-theory, completeness, and embedding of FOL
• Free logic and the concept of existence
• scientific article; zbMATH DE number 1749197
• A sequent calculus for a negative free logic

Cited in

(15)

• Quantifier-free versions of first order logic and their psychological significance
• Truth-value semantics for a logic of existence
• The quantified argument calculus with two- and three-valued truth-valuational semantics
• Neutral free logic: motivation, proof theory and models
• The quantified argument calculus
• On supervaluations in free logic
• scientific article; zbMATH DE number 1337625 (Why is no real title available?)
• PROOF-THEORETIC ANALYSIS OF THE QUANTIFIED ARGUMENT CALCULUS
• scientific article; zbMATH DE number 6742170 (Why is no real title available?)
• A three-valued quantified argument calculus: domain-free model-theory, completeness, and embedding of FOL
• GENERALITY AND EXISTENCE 1: QUANTIFICATION AND FREE LOGIC
• ABSTRACT FORMS OF QUANTIFICATION IN THE QUANTIFIED ARGUMENT CALCULUS
• Decidable fragments of the quantified argument calculus
• \textsf{QUARC} and classical logic
• Subject-predicate calculus free from existential import

This page was built for publication: Free logic and the quantified argument calculus

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