Logique, effectivité et faisabilité

DOI10.1017/S001221730000929XzbMATH Open0923.03069MaRDI QIDQ4252865FDOQ4252865

Authors: Jacques Dubucs 

Publication date: 28 October 1999

Published in: Dialogue (Search for Journal in Brave)

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?

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)

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)