The variety of consequence, according to Bolzano
From MaRDI portal
Publication:1083442
DOI10.1007/BF00370429zbMath0604.03004MaRDI QIDQ1083442
Publication date: 1985
Published in: Studia Logica (Search for Journal in Brave)
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
This page was built for publication: The variety of consequence, according to Bolzano