Consequence mining. Constants versus consequence relations

DOI10.1007/s10992-012-9234-6zbMath1272.03009OpenAlexW2047521207MaRDI QIDQ692175

Denis Bonnay, Dag Westerståhl

Publication date: 4 December 2012

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

Full work available at URL: https://doi.org/10.1007/s10992-012-9234-6

zbMATH Keywords

Galois connectionTarskiconsequence relationreplacementsubstitutionBolzanological constant

Mathematics Subject Classification ID

Philosophical and critical aspects of logic and foundations (03A05) Abstract deductive systems (03B22)

Related Items

Abstract logical constants ⋮ Vagueness and quantification ⋮ From many-valued consequence to many-valued connectives ⋮ Compositionality solves Carnap's problem ⋮ A note on logicality of generalized quantifiers

Cites Work

• Unnamed Item
• Unnamed Item
• Unnamed Item
• From constants to consequence, and back
• Set-theoretical invariance criteria for logicality
• Über die Existenz unabhängiger Axiomensysteme zu unendlichen Satzsystemen
• Tarski on logical consequences
• Homomorphisms of intensionally complemented distributive lattices
• What are logical notions?
• Logical Consequence Inside Out
• Quantity and Quantification
• Logicality and Invariance