Schönfinkel-type operators for classical logic

DOI10.1007/S11225-010-9265-3zbMATH Open1204.03018OpenAlexW2038039539MaRDI QIDQ993497FDOQ993497

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

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
• 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

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)

Cites Work

• Function Algebras on Finite Sets
• Combinatory logic. With two sections by William Craig.
• Title not available (Why is that?)
• The Two-Valued Iterative Systems of Mathematical Logic. (AM-5)
• Combinatory logic. Vol. II
• Title not available (Why is that?)
• Post's functional completeness theorem
• Title not available (Why is that?)
• Title not available (Why is that?)
• Title not available (Why is that?)

Cited In (4)

• Title not available (Why is that?)
• The Suszko operator relative to truth‐equational logics
• Zero-place operations and functional completeness, and the definition of new connectives
• Simplex sigillum veri: Peano, Frege, and Peirce on the Primitives of Logic

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)