Normativity in Logic

DOI10.1007/978-94-007-4435-6_12zbMath1314.03051OpenAlexW2149499375MaRDI QIDQ5253931

Jean-Yves Girard

Publication date: 5 June 2015

Published in: Epistemology versus Ontology (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1007/978-94-007-4435-6_12

Mathematics Subject Classification ID

General theory of von Neumann algebras (46L10) Complexity of computation (including implicit computational complexity) (03D15) Nonstandard models of arithmetic (03H15) Proof-theoretic aspects of linear logic and other substructural logics (03F52) Metamathematics of constructive systems (03F50) Combinatory logic and lambda calculus (03B40)

Related Items (8)

Logarithmic space and permutations ⋮ Category theory, logic and formal linguistics: some connections, old and new ⋮ Interaction graphs: additives ⋮ Characterizingco-NLby a group action ⋮ Unnamed Item ⋮ Rule-Following and the Limits of Formalization: Wittgenstein’s Considerations Through the Lens of Logic ⋮ Unary Resolution: Characterizing Ptime ⋮ Transcendental syntax I: deterministic case

Cites Work

• Geometry of interaction. V: Logic in the hyperfinite factor
• Unnamed Item

This page was built for publication: Normativity in Logic