Nondeterministic and nonconcurrent computational semantics for BB^+ and related logics

DOI10.1093/LOGCOM/EXAD057MaRDI QIDQ6915788zbMATH OpenFDO

Authors Shay Allen Logan

Publication date 15 October 2025

Published in Journal of Logic and Computation (Search for Journal in Brave)

Full work available at URL https://philarchive.org/rec/LOGNAN

Mathematics Subject Classification ID

Mathematical logic and foundations (03-XX) Computer science (68-XX)

Cites work

• An extension of basic functionality theory for -calculus
• Boolean negation and all that
• Combinators and structurally free logic
• Combinatory logic. Vol. II
• Generalising tautological entailment
• scientific article; zbMATH DE number 3787631 (Why is no real title available?)
• Information flow in logics in the vicinity of \textbf{BB}
• Models for entailment
• Operational semantics for positive R
• Routley-Meyer ternary relational semantics for intuitionistic-type negations
• The ``relevance of intersection and union types
• The calculi of lambda-conversion.
• The theory of representations for Boolean algebras.
• What is negation?

Cited in

(1)

• Gates and circuits via Dunn semantics

This page was built for publication: Nondeterministic and nonconcurrent computational semantics for \(\mathrm{BB}^+\) and related logics

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