Extensionalism and induction in Boole

MaRDI QIDQ2838262zbMATH OpenFDO

Authors Nimrod Bar-Am

Publication date 9 July 2013

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

Mathematics Subject Classification ID

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

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

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)