Filters








269,990 Hits in 4.5 sec

A new continuous propositional logic [chapter]

Riccardo Poli, Mark Ryan, Aaron Sloman
1995 Lecture Notes in Computer Science  
In this paper we present Minimal Polynomial 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.  ... 
doi:10.1007/3-540-60428-6_2 fatcat:tqaqvogeufdmhi3ex6nop462gm

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

Frank Pfenning, Robert J. Simmons
2009 2009 24th Annual IEEE Symposium on Logic In Computer Science  
We describe 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] .  ... 
doi:10.1109/lics.2009.8 dblp:conf/lics/PfenningS09 fatcat:4ou76lgejzazleihm2zqh7rzea

Schmitt's Socializing Epistemology: The Social Dimensions of Knowledge

Patrick J.J. Phillips
1999 Informal Logic  
The book begins with an introduction to classical 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.  ... 
doi:10.22329/il.v19i2.2330 fatcat:amim2qom6vgg3nuqx2uo44joma

A Demonstration of the Incompleteness of Calculi of Inductive Inference

John D Norton
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  ... 
doi:10.1093/bjps/axx004 fatcat:2kn74pvt7rbqxepccjklmwgrpu

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

В.М. Попов
2013 Logical Investigations  
This short paper presents 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 , . . . }.  ... 
doi:10.21146/2074-1472-2013-19-0-197-199 fatcat:43b4eekftraerbfye6tzhu6grq

Strengthening the Party's Centralized and Unified Leadership

1977 Chinese Studies in Philosophy  
As 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] .  ... 
doi:10.2753/csp1097-1467090273 fatcat:wd2uacn425fitmacq5izxwt2yi

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

Jesús Medina, Manuel Ojeda-Aciego
2003 European Society for Fuzzy Logic and Technology  
The concept of homogeneous multi-adjoint 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.  ... 
dblp:conf/eusflat/MedinaO03 fatcat:6wb6bw7ttnczredecoxyczpz3m

Expanding Basic Fuzzy Logic with truth constants for component delimiters

Zuzana Haniková
2012 Fuzzy sets and systems (Print)  
In this paper we investigate the 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 * .  ... 
doi:10.1016/j.fss.2011.11.006 fatcat:drbilwqwnfaapidphk3gyt4vc4

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

F. T. C. HARRIS, D. G. HARRIS
1964 Nature  
Therefore, we will consider 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.  ... 
doi:10.1038/2011272a0 fatcat:2yhxpdqelnbdboav4gq54sph6u

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