Free logic and the quantified argument calculus

DOI10.1515/9783110657883-007zbMATH Open1465.03096OpenAlexW3037283893MaRDI QIDQ5115855FDOQ5115855

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

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

Mathematics Subject Classification ID

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

Cited In (10)

• On supervaluations in free logic
• Title not available (Why is that?)
• Title not available (Why is that?)
• Decidable fragments of the quantified argument calculus
• Quantifier-free versions of first order logic and their psychological significance
• 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

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)