Career induction stops here (and here =2)

DOI10.1007/BF00258437zbMath0429.03035MaRDI QIDQ1137573

Robert K. Meyer

Publication date: 1979

Published in: Journal of Philosophical Logic (Search for Journal in Brave)

zbMATH Keywords

relevance logicintuitionistic propositional calculusimplicationscanonical maps in symmetric monoidal closed categoriesdeductionsdepth-reducing transformationsfirst degree propositional fragmentPW-problemreduction class

Mathematics Subject Classification ID

Modal logic (including the logic of norms) (03B45) Philosophical and critical aspects of logic and foundations (03A05) Categorical logic, topoi (03G30) Closed categories (closed monoidal and Cartesian closed categories, etc.) (18D15) Intuitionistic mathematics (03F55) Complexity of proofs (03F20) Foundations, relations to logic and deductive systems (18A15)

Related Items (1)

Depth relevance of some paraconsistent logics

This page was built for publication: Career induction stops here (and here =2)