Arithmetics base on computability logic

DOI10.21146/2074-1472-2019-25-2-61-74MaRDI QIDQ5219132zbMATH OpenOpenAlexFDO

Authors Giorgi Japaridze

Publication date 6 March 2020

Published in Logical Investigations (Search for Journal in Brave)

Full work available at URL https://doi.org/10.21146/2074-1472-2019-25-2-61-74

zbMATH Keywords

computability logicconstructive logicgame semanticsinteractive computabilityintuitionistic logiclinear logicPeano arithmetic

Mathematics Subject Classification ID

Logic in computer science (03B70) First-order arithmetic and fragments (03F30) Metamathematics of constructive systems (03F50)

Recommendations

• Introduction to clarithmetic. I
• On the system CL12 of computability logic
• Build your own clarithmetic. I: Setup and completeness
• Towards applied theories based on computability logic
• Build your own clarithmetic. II: Soundness

Cited in

(5)

• Arithmetic based on the Church numerals in illative combinatory logic
• A logical foundation of arithmetic
• Introduction to clarithmetic. II
• Arithmetic Formulated in a Logic of Meaning Containment
• Introduction to clarithmetic. I

This page was built for publication: Arithmetics base on computability logic

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