Operator counterparts of types of reasoning

DOI10.1007/s11787-023-00339-7OpenAlexW4386986265MaRDI QIDQ6146294

Urszula Wybraniec-Skardowska

Publication date: 10 January 2024

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

Full work available at URL: https://doi.org/10.1007/s11787-023-00339-7

zbMATH Keywords

reasoningconsequencedual consequencederivability operatorssyntax of metalogic

Mathematics Subject Classification ID

Abstract deductive systems (03B22) Other applications of logic (03B80) Logic in the philosophy of science (03A10)

Cites Work

• Unnamed Item
• Unnamed Item
• Foundations for the formalization of metamathematics and axiomatizations of consequence theories
• On pairs of dual consequence operations
• Basic properties of deductive systems based on nonclassical logics. Part I, II
• Theory of rejected propositions. I

This page was built for publication: Operator counterparts of types of reasoning