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

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

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

(12)

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

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)