Results 111 to 120 of about 712,824 (175)

Affine systems of equations and counting infinitary logic

, 2007
We study the definability of constraint satisfaction problems (CSP) in various fixed-point and infinitary logics. We show that testing the solvability of systems of equations over a finite Abelian group, a tractable CSP that was previously known not to ...
Andrei Bulatov, Albert Atserias, Anuj Dawar   +2 more
core  

Deflationism, explanation and "because". [PDF]

Philos Stud
De Rizzo J.
europepmc   +1 more source

Classical Harmony and Separability. [PDF]

Erkenntnis, 2020
Murzi J.
europepmc   +1 more source

Simpler Representational Ground. [PDF]

Erkenntnis
De Rizzo J.
europepmc   +1 more source

Infinitary propositional intuitionistic logic. [PDF]

Notre Dame Journal of Formal Logic, 1980
openaire   +2 more sources

On Logical and Scientific Strength. [PDF]

Erkenntnis
Incurvati L, Nicolai C.
europepmc   +1 more source

The fundamental: Ungrounded or all-grounding? [PDF]

Philos Stud, 2020
Leuenberger S.
europepmc   +1 more source

Hilbert's Early Metatheory Revisited. [PDF]

Erkenntnis
Giovannini EN, Schiemer G.
europepmc   +1 more source

Cartagena Logic [PDF]

We introduce a new kind of infinitary logic that we call Boolean expansion of ${\mathcal L}_{\kappa \kappa}$. This logic involves a new kind of variable, that we call generalised Boolean variable.
Kivimäki, Siiri, Väänänen, Jouko, Villaveces, Andrés   +2 more
core