Results 241 to 250 of about 1,151,417 (307)

Understanding implicature as an inner simulation of the speaker's context retrieval. [PDF]

Front Hum Neurosci
Tokimoto S, Tokimoto N.
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

Processing of Counterfactual Conditional Sentences with Differential Propositional Truth-Value in Mandarin Chinese: Evidence from ERP.

J Psycholinguist Res
Ren H, Li X, Li Y, Chen X.
europepmc   +1 more source

Some of the next articles are maybe not open access.

Related searches:

Propositional Logic

Artificial Intelligence, 2021
C. Aggarwal
semanticscholar   +3 more sources

Propositional Logic I

Introduction to Logic, 2018
Irving M. Copi, Carl Cohen, Victor Rodych   +2 more
openaire   +2 more sources

Propositional Logic

Undergraduate Texts in Mathematics, 2019
Jiacun Wang, William Tepfenhart
semanticscholar   +3 more sources

Propositional Logic

Encyclopedia of Machine Learning and Data Mining, 2017
L. Polkowski
semanticscholar   +3 more sources

PEIRCE’S CALCULI FOR CLASSICAL PROPOSITIONAL LOGIC

The Review of Symbolic Logic, 2018
This article investigates Charles Peirce’s development of logical calculi for classical propositional logic in 1880–1896. Peirce’s 1880 work on the algebra of logic resulted in a successful calculus for Boolean algebra.
Minghui Ma, A. Pietarinen
semanticscholar   +1 more source

Propositional logic

2004
In propositional logic, atomic formulas are propositions. Any assertion will do. For example, . . . A = “Aristotle is dead,” B = “Barcelona is on the Seine,” and C = “Courtney Love is tall” . . . are atomic formulas. Atomic formulas are the building blocks used to construct sentences. In any logic, a sentence is regarded as a particular type of formula.
Richard Lassaigne, Michel de Rougemont
  +6 more sources

PAL – Propositional Algorithmic Logic

Fundamenta Informaticae, 1981
The aim of propositional algorithmic logic is to investigate the properties of program connectives. Complete axiomatic systems for deterministic as well as for nondeterministic interpretations of program variables are presented. They constitute basic sets of tools useful in the practice of proving the properties of program schemes.
openaire   +2 more sources