Results 31 to 40 of about 127 (109)
A logic for constant-depth circuits
Information and Control, 1984 Summary: Consider a family of Boolean circuits \(C_ 1,C_ 2,...,C_ n,...\), constructed by some uniform, effective procedure operating on input n. Such a procedure provides a concise representation of a family of parallel algorithms for computing Boolean values. A formula of first order logic may also be viewed as a concise representation of a family of
Gurevich, Yuri, Lewis, Harry R.
openaire +1 more source
A Critical Remark on the BHK Interpretation of Implication
Philosophia Scientiæ, 2014 The BHK interpretation of logical constants is analyzed in terms of a systematic account given by Prawitz, resulting in a reformulation of the BHK interpretation in which the assertability of atomic propositions is determined by Post systems. It is shown
Wagner de Campos Sanz, Thomas Piecha
doaj +1 more source
Bulletin of the Section of Logic, 2023 Proof-theoretic semantics (P-tS) is the paradigm of semantics in which meaning in logic is based on proof (as opposed to truth). A particular instance of P-tS for intuitionistic propositional logic (IPL) is its base-extension semantics (B-eS).
Alexander V. Gheorghiu, David J. Pym
doaj +1 more source
Chinese Research on Mathematical Logic and the Foundations of Mathematics
Asian Studies, 2022 This paper outlines the Chinese research on mathematical logic and the foundations of mathematics. Firstly, it presents the introduction and spread of mathematical logic in China, especially the teaching and translation of mathematical logic initiated ...
Hongguang Wang, Guoping Du
doaj +1 more source
Perspectives hétérodoxes de Russell sur la question des fondements
Philosophia Scientiæ, 2005 Russell’s logicism consists of a thesis stating that all pure mathematics can be expressed in terms of logical constants and variables. It is usually assumed to be a reduction of pure mathematics to logic.
Anne-Françoise Schmid
doaj +1 more source
Scientific Reports, 2022 The cell division cycle is regulated by a complex network of interacting genes and proteins. The control system has been modeled in many ways, from qualitative Boolean switching-networks to quantitative differential equations and highly detailed ...
Teeraphan Laomettachit +2 more
doaj +1 more source
Real, Immediate, Multiple: Towards a Theory of Definition
MetaphysicsIn ‘Senses of Essence’ Kit Fine tentatively proposed that one could take the notion of real definition as basic and define essence in terms of it. Building on Litland 2023 this paper begins to develop an account where the notion of full, immediate real ...
Jon Erling Litland
doaj +1 more source
Search Condition-Hiding Query Evaluation on Encrypted Databases
IEEE Access, 2019 Private database query (PDQ) is a protocol between a client and a database server, designed for processing queries to encrypted databases. Specifically, PDQ enables a client to submit a search query and to learn a resulting set satisfying its search ...
Myungsun Kim +5 more
doaj +1 more source
Miscelánea: A Journal of English and American Studies, 2002 In order to reflect the interaction between the semantic and syntactic behaviour of predicates, the notion of lexical template has been devised as a way of including syntactic and semantic information within the same lexical representation, reflecting ...
Marta Mª González Orta
doaj +1 more source
Verification on application program generation and loading for safety systems of nuclear power plants based on the reverse engineering method [PDF]
Nuclear Energy and Technology, 2018 The article describes an automated verification method used for application software of control safety systems based on the TPTS-SB equipment. Verification is performed by comparing two mathematical models (oriented graphs): one obtained by processing ...
Mikhail A. Belonosov +2 more
doaj +3 more sources