Results 21 to 30 of about 101 (42)
Catalan Tree & Parity of some sequences which are related to Catalan numbers [PDF]
, 2011 In this paper we determine the parity of some sequences which are related to Catalan numbers.
Yildiz, Volkan
core
Logic and theory of representation
, 2023 Underlying the theory of inferences, a primary task of logic is language analysis. Such a task can be understood as depending on a general theory of representation, taking as a starting point the idea that some entities (`` representations '') can ...
Plagnol, Arnaud
core
Ordered homomorphisms and kernels of ordered BCI-algebras
, 2023 Recently Yang-Roh-Jun introduced the notion of ordered BCI-algebras as a generalization of BCI-algebras. They also introduced the notions of homomorphisms and kernels of ordered BCI-algebras and investigated related properties.
Jun, Young Bae +2 more
core
Classical model existence and left resolution [PDF]
, 2008 By analyzing what are necessary conditions in the proof [4] of the classical model existence theorem CME (every consistent set has a classical model), we present the left resolution Gentzen systems R(¬,-), which proof-theoretically characterize ...
Lee, Jui-Lin
core +1 more source
Finding the Nucleoli of Large Cooperative Games: A Disproof with Counter-Example [PDF]
, 2016 Nguyen and Thomas (2016) claimed that they have found a method to compute the nucleoli of games with more than 50 players using nested linear programs (LP). Unfortunately, this claim is false.
Meinhardt, Holger Ingmar
core +3 more sources
Calibrating the Complexity of Ternary Propositional Connectives [PDF]
, 2017 For each ternary propositional connective, we determine the minimum number of binary connectives needed to construct a logically equivalent formula. In order to reduce this problem to a computably feasible one, we prove a number of lemmas showing that
Bradley, William +4 more
core +1 more source
Whole-genome sequencing of SARS-CoV-2 isolates from symptomatic and asymptomatic individuals in Tanzania. [PDF]
Front Med (Lausanne), 2022 Mziray SR +12 more
europepmc +1 more source
G. Th. Guilbaud et la théorie du choix social
, 2011 URL des Documents de travail : http://centredeconomiesorbonne.univ-paris1.fr/bandeau-haut/documents-de-travail/ Classification AMS : 03B05, 91B14.Documents de travail du Centre d'Economie de la Sorbonne 2011.47 - ISSN : 1955-611XOne year after the ...
Monjardet, Bernard
core +1 more source
Septins tune lipid kinase activity and PI(4,5)P2 turnover during G-protein-coupled PLC signalling in vivo. [PDF]
Life Sci Alliance, 2022 Kumari A, Ghosh A, Kolay S, Raghu P.
europepmc +1 more source
Resolution and binary decision diagrams cannot simulate each other polynomially [PDF]
, 2000 There are many different ways of proving formulas in proposition logic. Many of these can easily be characterized as forms of resolution. Others use so-called binary decision diagrams (BDDs).
Groote, J.F. (Jan Friso) +1 more
core