Results 251 to 260 of about 568,503 (297)

Łukasiewicz logic and the foundations of measurement

Studia Logica, 1981
The logic of inexactness, presented in this paper, is a version of the Łukasiewicz logic with predicates valued in [0, ∞). We axiomatize multi-valued models of equality and ordering in this logic guaranteeing their imbeddibility in the real line. Our axioms of equality and ordering, when interpreted as axioms of proximity and dominance, can be applied ...
exaly   +3 more sources

IF logic and the foundations of mathematics

Synthese, 2001
One of the properties of independence friendly (IF) first-order logic as discussed, e.g., by \textit{J. Hintikka} in his ``The principles of mathematics revisited'' [Cambridge University Press, Cambridge (1996; Zbl 0869.03003)] is that ``it defines its own truth-predicate in certain models, like for instance, in the standard model \(N\) of PA'' (p. 40).
Gabriel Sandu, Tapani Hyttinen
openaire   +2 more sources

Foundation of credibilistic logic

Fuzzy Optimization and Decision Making, 2009
zbMATH Open Web Interface contents unavailable due to conflicting licenses.
Xiang Li 0006, Baoding Liu
openaire   +1 more source

A Logical Foundation of Arithmetic

Studia Logica, 2014
zbMATH Open Web Interface contents unavailable due to conflicting licenses.
openaire   +2 more sources

The foundations of Suslin logic

Journal of Symbolic Logic, 1975
LetLbe a first order logic andthe infinitary logic (as described in [K, p. 6] overL. Suslin logicis obtained fromby adjoining new propositional operatorsand. Letfrange over elements ofωωandnrange over elements of ω.Seqis the set of all finite sequences of elements of ω. If θ:Seq→is a mapping into formulas ofthenandareformulasofLA.
openaire   +1 more source

On logical foundations of the ATMS

2006
We have exhibited the declarative semantics of the ATMS in terms of propositional Horn logic. In particular, we have proved the correctness of its label update algorithm with respect to the semantics. It can serve as a rigid background for the discussion on ATMS computational efficiencies of the various actual problems.
Yasushi Fujiwara, Shinichi Honiden
openaire   +1 more source

The Metaphysical Foundation of Logic

Journal of Philosophical Logic, 2005
In the philosophy of modality there are three positions concerning the relation between the set of metaphysically necessary truths and the set of logically necessary truths. Modal Monism (MM), states that the set of metaphysically necessary truths is identical to the set of logically necessary truths. (MM) has been advocated by Chalmers (1999).
openaire   +1 more source

Modal Foundations for Predicate Logic

Logic Journal of IGPL, 1997
See the review of the author's paper with the same title in: E. Orlowska (ed.), Logic at work (Physica-Verlag, Heidelberg), Stud. Fuzziness Soft Comput. 24, 39-54 (1999; Zbl 0923.03019).
openaire   +3 more sources

The Future of Logic: Foundation-Independence

Logica Universalis, 2015
zbMATH Open Web Interface contents unavailable due to conflicting licenses.
openaire   +1 more source

Foundations of Logic Programming in Hybridised Logics

2015
The present paper sets the foundation of logic programming in hybridised logics. The basic logic programming semantic concepts such as query and solutions, and the fundamental results such as the existence of initial models and Herbrand's theorem, are developed over a very general hybrid logical system.
openaire   +1 more source