Logique, effectivité et faisabilité

DOI10.1017/S001221730000929XMaRDI QIDQ4252865zbMATH OpenFDO

Authors Jacques Dubucs

Publication date 28 October 1999

Published in Dialogue (Search for Journal in Brave)

zbMATH Keywords

recognizabilityantirealismGentzen's sequent calculiphilosophical foundations to linear logicpractical feasibility

Mathematics Subject Classification ID

Philosophical and critical aspects of logic and foundations (03A05) Metamathematics of constructive systems (03F50)

Recommendations

• scientific article; zbMATH DE number 2236613
• scientific article; zbMATH DE number 786485
• Linear logic
• scientific article; zbMATH DE number 1361538
• Which Logic for the Radical Anti-realist?

Cited in

(2)

• Effectiveness and multivalued logics
• Proof-theoretic semantics and feasibility

This page was built for publication: Logique, effectivité et faisabilité

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