Logique, effectivité et faisabilité

From MaRDI portal

Publication:4252865

Jump to:navigation, search

DOI10.1017/S001221730000929XzbMath0923.03069MaRDI QIDQ4252865

Jacques Dubucs

Publication date: 28 October 1999

Published in: Dialogue (Search for Journal in Brave)

zbMATH Keywords

recognizability antirealism Gentzen's sequent calculi philosophical foundations to linear logic practical feasibility

Mathematics Subject Classification ID

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

Related Items (1)

Proof-Theoretic Semantics and Feasibility

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

Retrieved from "https://portal.mardi4nfdi.de/w/index.php?title=Publication:4252865&oldid=18147379"