Free Logic and the Quantified Argument Calculus
From MaRDI portal
Publication:5115855
DOI10.1515/9783110657883-007zbMath1465.03096MaRDI QIDQ5115855
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
03B65: Logic of natural languages
03F03: Proof theory in general (including proof-theoretic semantics)
03B16: Higher-order logic
Related Items
ABSTRACT FORMS OF QUANTIFICATION IN THE QUANTIFIED ARGUMENT CALCULUS, The quantified argument calculus with two- and three-valued truth-valuational semantics