Logic based on inclusion and abstraction

DOI10.2307/2268279zbMATH Open0018.19402OpenAlexW2150337063MaRDI QIDQ5768089FDOQ5768089

Authors: W. V. Quine 

Publication date: 1937

Published in: Journal of Symbolic Logic (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.2307/2268279

zbMATH Keywords

Foundations, philosophy, logic

Cites Work

• Einige Betrachtungen über die Begriffe der ω-Widerspruchsfreiheit und der ω-Vollständigkeit

Cited In (7)

• Completeness in equational hybrid propositional type theory
• Henkin on completeness
• Discovering boundary algebra: A simple notation for Boolean algebra and the truth functors
• Inception of Quine's ontology
• What is Neologicism?
• On the syntax of logic and set theory
• A bit of history related to logic based on equality

This page was built for publication: Logic based on inclusion and abstraction

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