Structuralist logic: implications, inferences, and consequences

DOI10.1007/S11787-006-0008-1zbMath1116.03010OpenAlexW2078752623MaRDI QIDQ874753

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

mereologyconsequence operatorintuitionismlogical operatorsepistemic implicationimplication structures

Mathematics Subject Classification ID

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

Related Items (4)

Between Hilbert and Gentzen: four-valued consequence systems and structural reasoning ⋮ Human rationality challenges universal logic ⋮ Bi-intuitionistic implication structures ⋮ Universal Logic as a Science of Patterns

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