Frege structures for partial applicative theories

DOI10.1093/LOGCOM/9.5.683MaRDI QIDQ4934811zbMATH OpenOpenAlexFDO

Authors Reinhard Kahle

Publication date 31 July 2000

Published in Journal Of Logic And Computation (Search for Journal in Brave)

Full work available at URL https://semanticscholar.org/paper/acb8049218e5222a50eb7558461cf5a08b4aeec7

zbMATH Keywords

applicative theoriesFrege structurespartialitystreams in strict functional programming languagestruth theory

Mathematics Subject Classification ID

Logic in computer science (03B70) Metamathematics of constructive systems (03F50) Functional programming and lambda calculus (68N18)

Recommendations

• Universes over Frege structures
• The applicative realm
• THE UNIVERSAL SET AND DIAGONALIZATION IN FREGE STRUCTURES
• Quasi-Truth, Supervaluations and Free Logic
• Truth, partial logic and infinitary proof systems

Cited in

(6)

• Universes over Frege structures
• Totality in applicative theories
• Remarks on applicative theories
• Quasi-Truth, Supervaluations and Free Logic
• THE UNIVERSAL SET AND DIAGONALIZATION IN FREGE STRUCTURES
• Adding proof objects and inductive definition mechanisms to Frege structures

This page was built for publication: Frege structures for partial applicative theories

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