On nonmonotonic consequence relations

DOI10.1007/S11787-021-00275-4OpenAlexW3162595952MaRDI QIDQ2045006

A. Yu. Muravitskij

Publication date: 11 August 2021

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

Full work available at URL: https://doi.org/10.1007/s11787-021-00275-4

zbMATH Keywords

intermediate logicsmatrix consequencesatisfiable formulaslogical friendliness

Mathematics Subject Classification ID

Classical propositional logic (03B05) General logic (03B99) Proof theory and constructive mathematics (03F99)

Cites Work

• Theory of logical calculi. Basic theory of consequence operations
• Model theory.
• Mathematical thought. An introduction to the philosophy of mathematics
• Satisfaction and Friendliness Relations within Classical Logic: Proof-Theoretic Approach
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item

This page was built for publication: On nonmonotonic consequence relations