Schönfinkel-type operators for classical logic

DOI10.1007/S11225-010-9265-3MaRDI QIDQ993497zbMATH OpenOpenAlexFDO

Authors Katalin Bimbó

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

zbMATH Keywords

functional completenessquantifiersPeircePostSheffersufficient sets of operatorsSchönfinkel.

Mathematics Subject Classification ID

Classical propositional logic (03B05) History of mathematical logic and foundations (03-03) Classical first-order logic (03B10)

Recommendations

• Hilbert's \(\varepsilon{}\)-operator and classical logic
• scientific article; zbMATH DE number 2079269
• The Suszko operator relative to truth‐equational logics
• Logic and operator algebras
• scientific article; zbMATH DE number 5722454
• Modal Operators over Constructive Logic
• Logical operations and inference in the complex \(s\)-logic
• Classical logic, storage operators and second-order lambda-calculus
• scientific article; zbMATH DE number 701123

Cites work

• scientific article; zbMATH DE number 3165534 (Why is no real title available?)
• scientific article; zbMATH DE number 1066668 (Why is no real title available?)
• scientific article; zbMATH DE number 1927593 (Why is no real title available?)
• scientific article; zbMATH DE number 3378883 (Why is no real title available?)
• Combinatory logic. Vol. II
• Combinatory logic. With two sections by William Craig.
• Function Algebras on Finite Sets
• Post's functional completeness theorem
• The Two-Valued Iterative Systems of Mathematical Logic. (AM-5)
• The evolution of \textit{Principia Mathematica}. Bertrand Russell's manuscripts and notes for the second edition

Cited in

(4)

• Zero-place operations and functional completeness, and the definition of new connectives
• scientific article; zbMATH DE number 5722454 (Why is no real title available?)
• Simplex sigillum veri: Peano, Frege, and Peirce on the Primitives of Logic
• The Suszko operator relative to truth‐equational logics

This page was built for publication: Schönfinkel-type operators for classical logic

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q993497)