Results 51 to 60 of about 65,097 (137)

Logics of Statements in Context—First-Order Logic Files

Logics
Logics of Statements in Context have been proposed as a general framework to describe and relate, in a uniform and unifying way, a broad spectrum of logics and specification formalisms, which also comprise “open formulas”.
Uwe Wolter
doaj   +1 more source

Computing only minimal answers in disjunctive deductive databases

, 2003
A method is presented for computing minimal answers in disjunctive deductive databases under the disjunctive stable model semantics. Such answers are constructed by repeatedly extending partial answers.
Johnson, C. A.
core   +2 more sources

Logics and admissible rules of constructive set theories. [PDF]

Philos Trans A Math Phys Eng Sci, 2023
Iemhoff R, Passmann R.
europepmc   +1 more source

Language, silence, and logic: Zen, Nishida, and fthe Sapir-Whorf hypothesis in cognitive and cultural perspectives. [PDF]

Front Psychol
Kuang X, He C, Chen Q, Song Y, Song T.
europepmc   +1 more source

Boolean matrix logic programming for active learning of gene functions in genome-scale metabolic network models. [PDF]

Mach Learn
Ai L, Muggleton SH, Liang SS, Baldwin GS.   +3 more
europepmc   +1 more source

Small measurable cardinals. [PDF]

Arch Math Log
Hayut Y, Karagila A.
europepmc   +1 more source

Gödel's modal interpretation of intuitionistic logic and its proof theory. [PDF]

Mon Hefte Math
von Plato J.
europepmc   +1 more source

Positive logics. [PDF]

Arch Math Log, 2023
Shelah S, Väänänen J.
europepmc   +1 more source

An extension of intermediate predicate logics to higher order

Japanese journal of mathematics. New series, 1991
openaire   +2 more sources

A full formal representation of Arrow's impossibility theorem. [PDF]

PLoS One
Yamamoto K.
europepmc   +1 more source