Results 81 to 90 of about 5,644 (162)

Modules and Infinitary Logics

, 2010
We prove that the theory of abelian groups and R-modules even in infinitary logic is stable and understood to some extent.
openaire   +2 more sources

The Modal Components of Judgements in a Quantum Model of Psychoanalytic Theory. [PDF]

Entropy (Basel), 2023
Battilotti G, Borozan M, Lauro Grotto R.
europepmc   +1 more source

A Comprehensive Framework for Saturation Theorem Proving. [PDF]

J Autom Reason, 2022
Waldmann U, Tourret S, Robillard S, Blanchette J.   +3 more
europepmc   +1 more source

Infinitary propositional intuitionistic logic. [PDF]

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

Destructibility and axiomatizability of Kaufmann models. [PDF]

Arch Math Log, 2022
Switzer CB.
europepmc   +1 more source

Notation systems for infinitary derivations [PDF]

, 1991
G. Gentzen, G. Gentzen, G. Kreisel, G. Kreisel, G. Kreisel, G. Minc, G. Takeuti, H. Schwichtenberg, H. Schwichtenberg, J.Y. Girard, K. Schütte, K. Schütte, K. Schütte, L. Gordeev, R.L. Smith, W.W. Tait, Wilfried Buchholz   +16 more
core   +1 more source

Non-Denumerable Infinitary Modal Logic

, 2009
JUCS - Journal of Universal Computer Science Volume Nr.
openaire   +1 more source

Maximality and ontology: how axiom content varies across philosophical frameworks. [PDF]

Synthese, 2020
Barton N, Friedman SD.
europepmc   +1 more source

Generalized Revenge. [PDF]

Australas J Philos, 2020
Murzi J, Rossi L.
europepmc   +1 more source

A mathematical characterization of minimally sufficient robot brains. [PDF]

Int J Rob Res
Sakcak B, Timperi KG, Weinstein V, LaValle SM.   +3 more
europepmc   +1 more source