ЧТО ОЗНАЧАЕТ СЛОВО CONNEXIVE
Значение слова connexive в словаре английский языка
Определение connexive в словаре является связующим. Другое определение connexive состоит из двух компонентных предложений, связанных словами if. то, чтобы предложение было ложным только тогда, когда антецедент является истинным и последующим ложным; условна.
КНИГИ НА АНГЛИЙСКИЙ ЯЗЫКЕ, ИМЕЮЩЕЕ ОТНОШЕНИЕ К СЛОВУ «CONNEXIVE»
Поиск случаев использования слова
connexive в следующих библиографических источниках. Книги, относящиеся к слову
connexive, и краткие выдержки из этих книг для получения представления о контексте использования этого слова в литературе на английский языке.
1
Advances in Contemporary Logic and Computer Science: ...
Even if it turns out that some weakened variants of Factor do not yield
counterintuitive results, it is show that adding the above formula as an axiom to
systems which contain the typically connexive "Aristotle's Thesis" ->(p — > ->p)
amounts to ...
Walter Alexandre Carnielli, Itala M. L. D'Ottaviano,
1999
2
Logic: A History of its Central Concepts: LOGIC: HISTORY OF ...
Before concluding, there is a quantity of recent work on connexive implication
that I survey briefly in the following section. 11 CONTEMPORARY WORK ON
CONNEXIVE IMPLICATION: MEYER, ROUTLEY, MORTENSEN, PRIEST, LOWE,
PIZZI ...
Dov M. Gabbay, Francis Jeffry Pelletier, John Woods,
2012
3
British Logic in the Nineteenth Century
The idea is quite simple from the point of view of tableaux: if the formula at stake
is relevantly valid, then the connexive conditional expressing this formula holds. If
the connexive conditional expresses a formula that is one of the Aris— totelian ...
Dov M. Gabbay, John Woods,
2008
4
Natural Deduction: An Introduction To Logic With Real ...
As we have already noted, 2 is both nonsymmetric and antisymmetric. Also, any
binary relation that is totally connexive is also simply connexive (exercise below),
and any binary relation that is asymmetric is also simply antisymmetric (exercise
...
Richard T.W. Arthur,
2011
5
Logic, Thought and Action
A state of the connexive game is then <R, σ, A, λ> where R, σ, A are as before,
and λ is an assignation of subdialogues to formulæ. We write λa/m to express that
the formula A is played in the subdialogue m. The particle rules are: Vparticle ...
6
Advances in Scientific Philosophy: Essays in Honour of Paul ...
This leads towards connective confirmation, so called because the logical
strategy closely resembles that of connexive logic, which as one of its distinctive
features, qualifies simplification. The other distinctive feature of connexive logics
is the ...
Gerhard Schurz, Georg Dorn,
1991
7
Greek testament with English notes, critical, philological ...
Versions, the Translators certainly had not the on, but thought, as did all the other
ancient Translators except the Arabic, that some connexive particle was wanting,
which they supplied in various ways. The Sri prefixed came as much from a ...
Samuel Thomas Bloomfield,
1855
... merely gives a wider application to the thought of the preceding one. This is
either by simply stringing them together (connexive), or when the statement
applies more strongly to the latter than to the former clause (incressive).
Connexive. 3.
William Edward Jelf,
1861
9
Aristotle's Modal Syllogistic
implication.19 Unlike material implication, connexive implication has the property
that nothing can imply both a sentence and its negationi a property for which
there is also evidence in the Prior Analytics.20 As a result, aX-propositions are ...
10
A Boole Anthology: Recent and Classical Studies in the Logic ...
This last case describes a strongly connected conditional, which MacColl
introduces with the expression 'is implied in', and which I called connexive
implication. Thus, B (necessarily) depends in this strongly connected conditional
on the truth ...
НОВОСТИ, В КОТОРЫХ ВСТРЕЧАЕТСЯ ТЕРМИН «CONNEXIVE»
Здесь показано, как национальная и международная пресса использует термин
connexive в контексте приведенных ниже новостных статей.
NEC, Maestro Wireless join hands to explore M2M business …
CONNEXIVE, the M2M service platform from NEC, enables one-stop ... The integration of Maestro Wireless's hardware into NEC's CONNEXIVE ... «Telecom Lead, Сен 13»