Schönfinkel-type operators for classical logic
From MaRDI portal
Publication:993497
DOI10.1007/s11225-010-9265-3zbMath1204.03018MaRDI QIDQ993497
Publication date: 20 September 2010
Published in: Studia Logica (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.1007/s11225-010-9265-3
functional completeness; quantifiers; Peirce; Post; Schönfinkel.; Sheffer; sufficient sets of operators
03B10: Classical first-order logic
03B05: Classical propositional logic
03-03: History of mathematical logic and foundations
Cites Work