scientific article; zbMATH DE number 2196616

zbMath1089.03009MaRDI QIDQ5311063

David Makinson

Publication date: 22 August 2005

Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.

zbMATH Keywords

interpolationcompactnesssympathyconsequencefriendliness

Mathematics Subject Classification ID

Classical propositional logic (03B05) Abstract deductive systems (03B22)

Related Items (5)

For Want of an ‘And’: A Puzzle about Non-Conservative Extension ⋮ Norms as ascriptions of violations: an analysis in modal logic ⋮ On nonmonotonic consequence relations ⋮ Satisfaction and Friendliness Relations within Classical Logic: Proof-Theoretic Approach ⋮ Relevance-Sensitive Truth-Trees

This page was built for publication: