The variety of consequence, according to Bolzano

DOI10.1007/BF00370429zbMath0604.03004MaRDI QIDQ1083442

J. F. A. K. van Benthem

Publication date: 1985

Published in: Studia Logica (Search for Journal in Brave)

zbMATH Keywords

logical consequenceconstituentinterpretation

Mathematics Subject Classification ID

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

Related Items (5)

The Deduction Theorem (Before and After Herbrand) ⋮ McCarthy variations in a modal key ⋮ The many faces of interpolation ⋮ Key notions of Tarski's methodology of deductive systems ⋮ Modality, bisimulation and interpolation in infinitary logic

Cites Work

• Unnamed Item
• Foundations of conditional logic
• Ramsey eliminability
• The metatheory of the classical propositional calculus is not axiomatizable
• A note on the moment structure of the multitype Galton-Watson process

This page was built for publication: The variety of consequence, according to Bolzano