General Recursive Realizability and Basic Logic
Sign Up to like & getrecommendations! Published in 2020 at "Algebra and Logic"
DOI: 10.1007/s10469-020-09610-y
Abstract: The notion of general recursive realizability is defined based on using indices of general recursive functions as a constructive way of obtaining some realizations from others. The soundness of basic logic with respect to the… read more here.
Keywords: realizability basic; recursive realizability; general recursive; logic general ... See more keywords
Construction of basic logic gates based on rapid detection of transferrin conformations
Sign Up to like & getrecommendations! Published in 2020 at "Dyes and Pigments"
DOI: 10.1016/j.dyepig.2020.108331
Abstract: Abstract A simple technique for constructing different protein logic gates (OR and INHIBIT) using Fe3+ and/or Al3+ to regulate changes in the conformation of transferrin. Logic gates are easy to control and also display real-time… read more here.
Keywords: construction basic; based rapid; basic logic; logic gates ... See more keywords