Free Logic and the Quantified Argument Calculus

DOI10.1515/9783110657883-007zbMath1465.03096OpenAlexW3037283893MaRDI QIDQ5115855

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)

Related Items (2)

ABSTRACT FORMS OF QUANTIFICATION IN THE QUANTIFIED ARGUMENT CALCULUS ⋮ 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