Results 221 to 230 of about 48,055 (261)

The distribution of power and inclusiveness across deep time. [PDF]

Sci Adv
Feinman GM, Stasavage D, Carballo DM, Barber SB, Green A, Holland-Lulewicz J, Lawrence D, Munson J, Nicholas LM, Fulminante F, Klassen S, Kintigh KW, Douglass J.   +12 more
europepmc   +1 more source

A class of models for intermediate logics.

Notre Dame Journal of Formal Logic, 1971
openaire   +3 more sources

Global, selective, or both? The case for differentiated cooperation in AI governance. [PDF]

Policy Sci
von Ingersleben-Seip N, Mügge D.
europepmc   +1 more source

Predicate abstraction for hyperliveness verification. [PDF]

Form Methods Syst Des
Beutner R, Finkbeiner B.
europepmc   +1 more source

Implementing Intermediate Logics

Haaksema, Bastiaan, Otten, Jens, Ramanayake, Revantha   +2 more
openaire   +1 more source

Conducting transformative research protocols in sports science. [PDF]

Front Sports Act Living
Santi R, Isserte S, Gaudin C, Chaliès S.   +3 more
europepmc   +1 more source

Dynamical analysis of a model of BCL-2-dependent cellular decision making. [PDF]

NPJ Syst Biol Appl
Cloete I, Alarcón T.
europepmc   +1 more source

Entrepreneur's social identity, decision logic, and resource bootstrapping behaviors: An empirical study of the fsQCA method.

Heliyon
Liu YL, Peng XB, Wang MT, Chen LL.
europepmc   +1 more source

Some of the next articles are maybe not open access.

Related searches:

Proof analysis in intermediate logics

Archive for Mathematical Logic, 2011
The authors continue the investigation of cut-free systems for superintuitionistic logics inspired by translating a formula \(F\) into a formula saying ``\(F\) is true in all Kripke models'' (of a given logic). The approach works smoothly when the condition on the accessibility relation in Kripke models is expressed by a geometric formula \(\forall\bar{
Dyckhoff R., Negri S.
openaire   +3 more sources

Possibilistic intermediate logic

International Journal of Advanced Intelligence Paradigms, 2012
We define what we call 'possibilistic intermediate logic (PIL)'; we present results analogous to those of the well-known intermediate logic, such as a deduction theorem, a generalised version of the deduction theorem, a cut rule, a weak version of a refutation theorem, a substitution theorem and Glivenko's theorem.
Oscar Hernán Estrada, José Ramón Enrique Arrazola Ramírez, Mauricio Javier Osorio Galindo   +2 more
openaire   +1 more source