Proofs, Reasoning and the Metamorphosis of Logic

DOI10.1007/978-94-007-7548-0_3zbMath1344.03006OpenAlexW1602485258MaRDI QIDQ5251186

Jean-Baptiste Joinet

Publication date: 22 May 2015

Published in: Trends in Logic (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1007/978-94-007-7548-0_3

zbMATH Keywords

reasoningcomputationproofphilosophy of logic

Mathematics Subject Classification ID

Philosophical and critical aspects of logic and foundations (03A05)

Related Items (1)

Fuzzy logic and enriched categories

Cites Work

• Light linear logic
• Classical logic, storage operators and second-order lambda-calculus
• Linear logic and elementary time
• Locus Solum: From the rules of logic to the logic of rules
• A new constructive logic: classic logic
• Meaning and proofs: on the conflict between classical and intuitionistic logic
• A new deconstructive logic: linear logic
• Typed lambda-calculus in classical Zermelo-Fraenkel set theory
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item

This page was built for publication: Proofs, Reasoning and the Metamorphosis of Logic