A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2019; you can also visit the original URL.
The file type is
Conditionals and Non-Monotonicity (Journal of Applied Non-Classical Logics, 1(2),1991), or on Data and Knowledge Fusion (International Journal of Intelligent Systems, vol. 16(10-11), 2001) H. ... IEEE Transactions on Fuzzy Systems, the International Journal of Uncertainty, Fuzziness and Knowledge-Based Systems, the Journal of Applied Non Classical Logics, and Mathware and Soft Computing. ...doi:10.1016/j.ijar.2006.02.002 fatcat:3lrpvot3krhp7bfwm6s3xt2gc4
EVANS 1385 A proof-theoretic study of the correspondence of classical logic and modal logic, by H. KUSHIDA and M. ... A proof-theoretic study of the correspondence of classical logic and modal logic 1403 LAFORTE, GEOFFREY L. See DOWNEY, RODNEY G. LASKOWSKI, MICHAEL, C. ...doi:10.1017/s0022481200008203 fatcat:7bbmh23lcfbkrlzydqrldpuqpu
The central problem of this research is the problem of limits of applying classical logic laws. ... the conditions of the statement equivalence correspond to the limits of applying logic laws in Aristotle's interpretation. ... of limits of applying the laws of logic are distorted. ...doi:10.1051/e3sconf/202124411032 fatcat:6gv332h7ynae5h3uawcuhv6oru
It is the main, most powerful and most extensive method for solving the decision problem in the area of non-classical logics. ... This paper is the first in a series in reformulating classical and non-classical logic in a goal directed way. ... Thielscher) Journal of Logic and Computation, 9, 25-46, 1999 Calender Logic (with H. J. Ohlbach) Journal of Applied Non-classical Logics, 8, 291-324, 1998. ...doi:10.1007/bf00129607 fatcat:e6lokulrwrfcvl525fgj6dcr3m
We study the extension of public announcement logic PAL by public assignments, that we call PALA. ... Just as in the case of PAL, the standard procedure for deciding PALA validity, i.e., the use of so-called reduction axioms to translate PALA formulae into formulae in epistemic logic EL, may lead to exponential ... The latter is guaranteed by Lemma 10.14 Journal of Applied Non-Classical Logics. Volume Volume of the issue undefined -No. ...doi:10.1080/11663081.2012.705964 fatcat:56r5waj2r5dobblkcuxnii7yga
Herzog, Free resolutions and Koszul homology (1) l-16 Brown, C. and D. Gurr, Relations and non-commutative linear logic (2) 117-136 Bunge, M. and A. ... number of non-C-endorigid equivalence relations (3) 261-266 Fan, C. ... You, Normal subgroups of classical groups over rings (1) 93-105 Xie, C., see M. ...doi:10.1016/0022-4049(95)90077-2 fatcat:iinvreqkxzaa5c7uv6dcpf3jte
Science of Light
SCIENCE OF LIGHT VOLUME 16. NO. 1, 1%7 Non-Mathematical Theoretical Physics* J. H. Van Vleck Lyman Laboratory of Physics Harvard University Cambridge, Massachusetts U. S. A. ... (Received April 25, 1967) For some reason or other, more a matter of accident than logic, it is fairly well established usage to employ the term “applied mathematics” for the part of mathematical physics ...
The Australasian Journal of Logic
logic, and on the possibility of solving them by developing non-classical formal tools. ... However, after only three years of intense research on non-classical logic and, in particular, on relevant logics, Richard decided to move again, joining the Department of Philosophy of the Research School ...doi:10.26686/ajl.v15i2.4854 fatcat:un6cwve4bjervhbxfsqfcfdhyq
I argue that Kant's notion of systematicity can be understood against the background of de Jong and Betti's Classical Model of Science (2010) and the writings of Georg Friedrich Meier and Johann Heinrich ... I further show that systematicity advances traditionally accepted logical ideals of scientific knowledge, which explains why Meier and Kant think that sciences must be 'systematic'. ... From these fundamental propositions, we derive non-fundamental ones, as stipulated by conditions (a) and (b) of the Classical Model. ...doi:10.1017/s1369415420000576 fatcat:23yxoykvrjfllolmhwrdywp5eu
of the mathematico- logical status of the law of the excluded middle, even as applied to finite sets. ... Two-valued propositional logic] Editura Didacticd si Pedagogicd, Bucharest, 1964. 517 pp. Lei 22.40. This is a good, if somewhat technical, introductory text on classical propositional logic. ...
Since its inception, logic has studied the acceptable rules of reasoning, the rules that allow us to pass from certain statements, serving as premises or assumptions, to a statement taken as a conclusion ... Słupecki and his collaborators) applied this method to the bi-level formalization of some classical and non-classical logical deductive systems of sentences or names. ... Systems for non-classical propositional logics, which are inspired by philosophy, are introduced in the book later than systems related to term logics. ...doi:10.3390/axioms9030108 fatcat:hviq34mlgracri3qdsawrwfopi
well-behaved logical systems. ... Within the domain of formal semantics and of the structure of logical derivations, the PoC is often directly reflected by metaproperties such as truth-functionality and analyticity, characteristic of computationally ... non-classical negations (see  ) which takes advantage of the wealth of results about normal modal logics [15, 16] . ...doi:10.1007/s11787-017-0177-0 fatcat:wtzoqtae6jahpcmrbt2hscswam
The comparative performance analysis indicates that the student group formed by Fuzzy C-Means clustering algorithm performed better than groups formed by K-Means, classical fuzzy logic clustering algorithms ... , and analyze effects of such allocations on the academic performance of students. ... Non-classical performance evaluation methods (such as fuzzy logic, a mathematical technique of set-theory) can also be applied to many forms of decision-making including research on engineering and artificial ...doi:10.4236/oalib.1101623 fatcat:soplfrgidrfq7ezh36bw2mb47i
We demonstrate that via extensive parallelization, the construction of a classical "front-end" system capable of processing error correction data for a large topological computer is possible today. ... As the topological model has well defined protocols for Quantum Error Correction (QEC) built in as part of its construction, a more grounded analysis of the classical processing requirements is possible ... We acknowledge the support of MEXT, JST, HP and the EU project HIP and the support of the Australian Research Council, the Australian Government, and the US National Security Agency (NSA) and the Army ...doi:10.1142/s021974991000637x fatcat:otdrdo2lcbakdetzhun4jcqd2y
So dispersion of spherical, non-spherical, magnetic spherical and non-spherical rigid particles (classical suspension-like dispersions) are treated before non-rigid particles are discussed. ... The author, a well-known scientist in the area of rheology of dispersed phases, has organized "Rheology of particulate dispersions and composites' in six larger entities containing in total 16 Chapters ...doi:10.1515/arh-2011-0004 fatcat:eyk7imh6pnecbczvs2p3t5lbv4
« Previous Showing results 1 — 15 out of 117,928 results