Normativity in logic

DOI10.1007/978-94-007-4435-6_12MaRDI QIDQ5253931zbMATH OpenOpenAlexFDO

Authors 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

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

Recommendations

• scientific article; zbMATH DE number 2164231
• Expressive power and incompleteness of propositional logics
• Completeness and incompleteness for intuitionistic logic
• Geometry of interaction. V: Logic in the hyperfinite factor
• scientific article; zbMATH DE number 4187765

Cites work

• Geometry of interaction. V: Logic in the hyperfinite factor
• scientific article; zbMATH DE number 3969404 (Why is no real title available?)

Cited in

(12)

• Logarithmic space and permutations
• Category theory, logic and formal linguistics: some connections, old and new
• Unary resolution: characterizing \textsc{Ptime}
• scientific article; zbMATH DE number 6345346 (Why is no real title available?)
• scientific article; zbMATH DE number 4172952 (Why is no real title available?)
• A Logical Architecture of a Normative System
• scientific article; zbMATH DE number 6917940 (Why is no real title available?)
• Rule-following and the limits of formalization: Wittgenstein's considerations through the lens of logic
• Transcendental syntax I: deterministic case
• scientific article; zbMATH DE number 3197097 (Why is no real title available?)
• Characterizingco-NLby a group action
• Interaction graphs: additives

This page was built for publication: Normativity in logic

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