Three days of -logic

DOI10.4288/JAFPOS.19.0_57zbMATH Open1274.03078OpenAlexW438128890MaRDI QIDQ2837232FDOQ2837232

Authors: Paul Larson 

Publication date: 10 July 2013

Published in: Annals of the Japan Association for Philosophy of Science (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.4288/jafpos.19.0_57

Recommendations

• An \(\Omega\)-logic primer
• Three ultrafilters in a modular logic
• Three etudes on logical dynamics and the program of natural logic
• Propositional logics for three
• Three lightings of logic (Invited Talk)
• Natural three-valued logics and classical logic
• Continuity of three-valued logic: problems and hypotheses
• scientific article; zbMATH DE number 1523047
• scientific article; zbMATH DE number 1859177
• Brief study of G'₃ logic

Mathematics Subject Classification ID

Consistency and independence results (03E35) Other aspects of forcing and Boolean-valued models (03E40) Large cardinals (03E55) Inner models, including constructibility, ordinal definability, and core models (03E45) Continuum hypothesis and Martin's axiom (03E50) Determinacy principles (03E60)

Cited In (5)

• Boolean-valued second-order logic
• Three lightings of logic (Invited Talk)
• LARGE CARDINALS BEYOND CHOICE
• Title not available (Why is that?)
• An \(\Omega\)-logic primer

This page was built for publication: Three days of \(\Omega\)-logic

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