Results 351 to 360 of about 3,874,998 (408)
Some of the next articles are maybe not open access.

On rules of abduction

Annals of Mathematics and Artificial Intelligence, 1993
zbMATH Open Web Interface contents unavailable due to conflicting licenses.
openaire   +2 more sources

Exchange rules

Journal of Symbolic Logic, 2001
AbstractIn this paper, we show by a proof-theoretical argument that in a logic without structural rules, that is in noncommutative linear logic with exponentials, every formula A for which exchange rules (and weakening and contraction as well) are admissible is provably equivalent to? A.
openaire   +3 more sources

Becker’s Rule is Not Becker’s Rule

Contributo di ricerca sulla storia della logica ...
Pierluigi Minari, Stefania Centrone
openaire   +1 more source

Tripartite Rules: Rule of Man, Rule by Law and Rule of Law

2013
This chapter traces the general chronological sequence of China’s rule of man, rule by law, and rule of law experiences. The highlights of the discussion are the imperial China’s blended rule of man and rule by law traditions and the use of rule of law promotion as a nation-building instrument at multiple points of sociopolitical transition in Chinese ...
openaire   +1 more source

Home - About - Disclaimer - Privacy