CAPTURING CONSEQUENCE

DOI10.1017/S1755020318000291OpenAlexW4231385513MaRDI QIDQ5381040

Alexander Paseau

Publication date: 7 June 2019

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

Full work available at URL: https://doi.org/10.1017/s1755020318000291

zbMATH Keywords

first-order logicpropositional logiccompactnessvaliditysecond-order logicformalisationincompactnesscountably infinite Boolean algebrasinferential role

Mathematics Subject Classification ID

Philosophical and critical aspects of logic and foundations (03A05) Logic of natural languages (03B65) Classical first-order logic (03B10) Classical propositional logic (03B05)

Related Items (1)

Modal logics that are both monotone and antitone: Makinson's extension results and affinities between logics

Cites Work

• Adequate formalization
• A survey of abstract algebraic logic
• A measure of inferential-role preservation
• The logic and meaning of plurals. II
• Varieties of Logic
• Introduction to Boolean Algebras
• Algebraizable logics
• Logical Pluralism
• Plural Logic
• Second Order Logic or Set Theory?
• Protoalgebraic logics
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item

This page was built for publication: CAPTURING CONSEQUENCE