Extensionalism and induction in Boole

zbMATH Open1267.01030MaRDI QIDQ2838262FDOQ2838262

Authors: Nimrod Bar-Am 

Publication date: 9 July 2013

Published in: Physis. Nuova Serie (Search for Journal in Brave)

Recommendations

• scientific article; zbMATH DE number 3884128
• Completeness and conservative extension results for some Boolean relevant logics
• Boole-De Morgan bilattices
• scientific article; zbMATH DE number 3912445
• scientific article; zbMATH DE number 7204433
• Extensional Logic of Hyperintensions
• scientific article; zbMATH DE number 4064972
• On axiomatizations of Boolean algebras
• Inductive representations of Boolean functions and the finite generation of the Post classes
• BOOLEAN TYPES IN DEPENDENT THEORIES

Mathematics Subject Classification ID

History of mathematics in the 19th century (01A55) History of mathematical logic and foundations (03-03)

Cited In (2)

• Expanding \(\text{FL}_{ew}\) with a Boolean connective
• Extensionalism

This page was built for publication: Extensionalism and induction in Boole

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