Results 201 to 210 of about 65,341 (232)

An integrated data pipeline for semantic data representation of the flame spray pyrolysis process. [PDF]

F1000Res
Vollbrecht M, Krieger K, Grundmann J, Birkholz H, Riefler N, Mädler L.   +5 more
europepmc   +1 more source

An extension to predicate logic of $lambdarho$-calculus (Logics, Algebras and Languages in Computer Science)

An extension to predicate logic of $lambdarho$-calculus (Logics, Algebras and Languages in Computer Science)
openaire  

Some of the next articles are maybe not open access.

Related searches:

Constructing a continuum of predicate extensions of each intermediate propositional logic

Studia Logica, 1995
Waisberg and Jankov gave powerful methods for constructing a continuum of logics. But their methods are not suitable for superintuitionistic and modal predicate logics. Using a modification of these methods, the author shows that there is a continuum of logics between the intuitionistic predicate logic and the logic of constant domains; between a ...
openaire   +4 more sources

Set abstraction—An extension of all solutions predicate in logic programming language

New Generation Computing, 1987
The concept of set abstraction is introduced as a simple analogy of that of lambda abstraction in the theory of lambda calculus. The set abstraction is concerned with two extensions concerning Prolog language features: ``set expression'' and ``predicate variable''.
openaire   +3 more sources

Rational Pavelka predicate logic is a conservative extension of Łukasiewicz predicate logic

Journal of Symbolic Logic, 2000
AbstractRational Pavelka logic extends Łukasiewicz infinitely valued logic by adding truth constants r̄ for rationals in [0. 1]. We show that this is a conservative extension. We note that this shows that provability degree can be defined in Łukasiewicz logic. We also give a counterexample to a soundness theorem of Belluce and Chang published in 1963.
Hájek, Petr, Paris, Jeff, Shepherdson, John   +2 more
openaire   +2 more sources

Predicate Logical Extensions of some Subintuitionistic Logics

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

A Predicate Logical Extension of a Subintuitionistic Propositional Logic

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

On Conservative Extensions in Logics with Infinitary Predicates

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

On the Predicate Logic of Linear Kripke Frames and some of its Extensions

Studia Logica, 2005
Completeness or incompleteness of different well-known intermediate predicate logics extending the predicate logic of linear Kripke frames (the predicate variant of Dummett's logic) with respect to Kripke semantics are proved or reproved. The proofs presented in this paper are essentially based on the standard technique of saturated sets of sentences.
openaire   +1 more source