Structuralist logic: implications, inferences, and consequences

DOI10.1007/S11787-006-0008-1MaRDI QIDQ874753zbMATH OpenOpenAlexFDO

Authors Arnold Koslow

Publication date 10 April 2007

Published in Logica Universalis (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1007/s11787-006-0008-1

zbMATH Keywords

mereologyintuitionismlogical operatorsconsequence operatorepistemic implicationimplication structures

Mathematics Subject Classification ID

Other nonclassical logic (03B60) Logics of knowledge and belief (including belief change) (03B42) Subsystems of classical logic (including intuitionistic logic) (03B20) Abstract deductive systems (03B22)

Recommendations

• The implicational nature of logic: A structuralist account
• scientific article; zbMATH DE number 709086
• Structuralist modals and the combination of logics
• Logical structuralism and Benacerraf's problem
• Logicism and Logical Consequence
• scientific article; zbMATH DE number 753776
• Note on Structural Logics
• Logical expressivism, logical theory and the critique of inferences
• Structures for epistemic logic
• Implicational Logic, Relevance, and Refutability

Cited in

(12)

• Structures of logic in policy and theory: identifying sub-systemic bricks for investigating, building, and understanding conceptual systems
• Bi-intuitionistic implication structures
• scientific article; zbMATH DE number 709086 (Why is no real title available?)
• Between Hilbert and Gentzen: four-valued consequence systems and structural reasoning
• Human rationality challenges universal logic
• Inferentialism, Logicism, Harmony, and a Counterpoint
• Inference, Consequence, Implication: A Constructivist's Perspective
• The implicational nature of logic: A structuralist account
• scientific article; zbMATH DE number 65539 (Why is no real title available?)
• Structuralist modals and the combination of logics
• Universal logic as a science of patterns
• Implicit definitions, second-order quantifiers, and the robustness of the logical operators

This page was built for publication: Structuralist logic: implications, inferences, and consequences

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q874753)