A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2009; you can also visit the original URL.
The file type is `application/pdf`

.

## Filters

##
###
A new continuous propositional logic
[chapter]

1995
*
Lecture Notes in Computer Science
*

In this paper we present Minimal Polynomial

doi:10.1007/3-540-60428-6_2
fatcat:tqaqvogeufdmhi3ex6nop462gm
*Logic*(MPL),*a*generalisation of classical*propositional**logic*which allows truth values in the*continuous*interval 0; 1] and in which*propositions*are represented ... In the paper we describe the derivation and the properties of this*new*form of*logic*and we apply it to solve and better understand several practical problems in classical*logic*, such as satis ability. ... In this section we will obtain from PL 0*a**new*form of*continuous**logic*that we call Minimal Polynomial*Logic*(MPL). De nition3. ...##
###
Page 1476 of Mathematical Reviews Vol. , Issue 99c
[page]

1991
*
Mathematical Reviews
*

*Continuality*of

*a*family of

*logics*that are complete in the sense of Novikov with

*a*

*new*monadic connective. (Russian. Russian summary) Vestnik Moskovy. Univ. Ser. I Mat. ... To prove this, another extension of Int, an %-

*logic*, is defined. An %-

*logic*is

*a*set of formulae in the language % + {y1, 2}, where y; and y are

*new*

*propositional*constants. ...

##
###
Substructural Operational Semantics as Ordered Logic Programming

2009
*
2009 24th Annual IEEE Symposium on Logic In Computer Science
*

We describe

doi:10.1109/lics.2009.8
dblp:conf/lics/PfenningS09
fatcat:4ou76lgejzazleihm2zqh7rzea
*a*substructural*logic*with ordered, linear, and persistent*propositions*and then endow*a*fragment with*a*committed choice forward-chaining operational interpretation. ... Our substructural framework thereby provides*a**new*methodology for language specification that synthesizes structural operational semantics, abstract machines, and*logical*approaches. ... We would like to thank the anonymous reviewers for their comments, Jason Reed for*a*key insight in the proof of completeness, and Noam Zeilberger for pointing us to Laurent's unpublished note [9] . ...##
###
Schmitt's Socializing Epistemology: The Social Dimensions of Knowledge

1999
*
Informal Logic
*

The book begins with an introduction to classical

doi:10.22329/il.v19i2.2330
fatcat:amim2qom6vgg3nuqx2uo44joma
*propositional**logic*, and then goes on to develop the*new*kind of*logic*. ... And so both books, but especially the volume on*propositional**logics*, could be used in*a*middle or upper level*logic*course, or*a*course on philosophy of*logics*. ...##
###
A Demonstration of the Incompleteness of Calculi of Inductive Inference

2018
*
British Journal for the Philosophy of Science
*

*A*complete calculus of inductive inference captures the totality of facts about inductive support within some domain of

*propositions*as relations or theorems within the calculus. ... If we disjunctively refine the possibilities so that

*a*

*New*Zealander is replaced by the

*logically*equivalent (North Island

*New*Zealander or South Island

*New*Zealander), then we have three most refined ... possibilities over which we are indifferent:

*a*non-

*New*Zealander or

*a*North Island

*New*Zealander or

*a*South Island

*New*Zealander The principle of indifference now requires that we assign equal probabilities ...

##
###
Between $Int_{\omega , \omega}$ and intuitionistic propositional logic

2013
*
Logical Investigations
*

This short paper presents

doi:10.21146/2074-1472-2013-19-0-197-199
fatcat:43b4eekftraerbfye6tzhu6grq
*a**new*domain of*logical*investigations. ... The set ParaInt contains (1)*a**continuous*set of paraconsistent, but non-paracomplete*logics*, (2)*a**continuous*set of paracomplete, but non-paraconsistent*logics*, (3)*a**continuous*set of paranormal*logics*... The language L of each*logic*in the paper is*a*standard*propositional*language whose alphabet is as follows: {&, ∨, ⊃, ¬, (, ), p 1 , p 2 , p 3 , . . . }. ...##
###
Strengthening the Party's Centralized and Unified Leadership

1977
*
Chinese Studies in Philosophy
*

As

doi:10.2753/csp1097-1467090273
fatcat:wd2uacn425fitmacq5izxwt2yi
*a*scientific*proposition*, Upholding and strengthening the Party's overall leadership has its inherent historical*logic*, realistic*logic*, political*logic*and theoretical*logic*. ... To put this in fact, we must always adhere to the thought on socialism with Chinese characteristics for*a**new*era of Xi Jinping and*continually*complete and perfect the Party's leadership system to provide ... To analyze the internal*logic*of the*proposition*from the historical, realistic, political and theoretical dimensions is the basic premise for*a*thorough understanding of the*proposition*[2] . ...##
###
Page 53 of The Philosophical Review Vol. 69, Issue 1
[page]

1960
*
The Philosophical Review
*

Neither

*proposition*has the same sort of sense as do the*propositions*, ““*A*low pressure area exists over the Great Lakes,” “There stil’ exists some possibility that he will survive,” “The pain*continues*... No existential*proposition*can be*logically*necessary,” he maintains, for “‘the truth of*a**logically*necessary*proposition*depends only on our symbolism, or to put the same thing in another way, on the ...##
###
Page 382 of The Philosophical Review Vol. 60, Issue 3
[page]

1951
*
The Philosophical Review
*

One can believe

*a**proposition*P and not believe*a**proposition*Q even though Q is*logically*implied by P. ... In the same way,*a**proposition*P may be “accepted” and*a**proposition*(or statement) Q rejected, or not accepted, even though Q is*logically*implied by P. ...##
###
Homogenizing multi-adjoint logic programs

2003
*
European Society for Fuzzy Logic and Technology
*

The concept of homogeneous multi-adjoint

dblp:conf/eusflat/MedinaO03
fatcat:6wb6bw7ttnczredecoxyczpz3m
*logic*program is introduced, and*a*procedure to homogenize an arbitrary multi-adjoint*logic*program is presented. ... Note that in this*new*program there are*new**propositional*symbols, if Π is the set of*propositional*symbols occurring in P, then the set of*propositional*symbols occurring in P * is denoted Π * ; obviously ... The procedure ends when the*new*symbol gets defined completely in terms of*propositional*symbols from Π. This feature allows for extending any model I to these*new*symbols in*a*recursive manner. ...##
###
Expanding Basic Fuzzy Logic with truth constants for component delimiters

2012
*
Fuzzy sets and systems (Print)
*

In this paper we investigate the

doi:10.1016/j.fss.2011.11.006
fatcat:drbilwqwnfaapidphk3gyt4vc4
*propositional**logic*of standard algebras for Hájek's Basic Fuzzy*Logic*BL in*a*language expanded with*propositional*constants for the idempotent elements delimiting the ... We start from*a*fixed standard BL-algebra; introduce*new**propositional*constants; present*a*suitable set of axioms; investigate completeness results; and give some complexity results. ... The*logic*BL EP( * ) expands the language of BL with*a*set of*new**propositional*constants C * . ...##
###
Page 5448 of Mathematical Reviews Vol. , Issue 2002H
[page]

2002
*
Mathematical Reviews
*

The first goal is to give

*a**new*axiomatic system of the LIT and LIT}*propositional**logics*. These*propositional**logics*were introduced in [F. Esteva, L. Godo and F. Montagna, Arch. Math. ... Bellaterra) Monoidal t-norm based*logic*: towards*a**logic*for left-*continuous*t- norms. ...##
###
The British Society for the Philosophy of Science

1964
*
Nature
*

Therefore, we will consider

doi:10.1038/2011272a0
fatcat:2yhxpdqelnbdboav4gq54sph6u
*a*number of papers. Nonetheless, I believe it will still turn out that*continuous*geometry is unlikely to add much that is*new*to the quantum*logical*interpretation. ... But without*a*more concrete account of what the*new*theory would look like, one can't be sure. ...##
###
Page 1311 of Mathematical Reviews Vol. , Issue 85d
[page]

1985
*
Mathematical Reviews
*

This work presents

*a*modified version of his previous results on the same topic [“Probabilistic semantics for*propositional*modal*logics*”, Essays in epistemology and semantics,*New*York, to appear]: essentially ... The author*continues*along the path of conditional probabilistic semantics for several known*logics*. ...##
###
Page 706 of Mathematical Reviews Vol. 56, Issue 3
[page]

1978
*
Mathematical Reviews
*

The author claims that “Peirce was led to study the mathematics of infinity, in- finitesimals, and

*continuity*as*a*result of his interests in*logic*and philosophy. ... Carolyn Eisele (*New*York) Joja,*A*. 5192 La doctrine de l’universel chez Aristote.*Logic*, methodology and philosophy of science, IV (Proc. Fourth Internat. Congress, Bucharest, 1971), pp. 905-919. ...
« Previous

*Showing results 1 — 15 out of 269,990 results*