Results 211 to 220 of about 101,814 (276)
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.
John C. Shepherdson +2 more
semanticscholar +5 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''.
Takashi Yokomori
semanticscholar +4 more sources
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 ...
Norihiro Suzuki
semanticscholar +5 more sources
A Modal Extension of Weak Generalisation Predicate Logic
Logic Journal of IGPL, 2006 Francisco Kibedi, George Tourlakis
semanticscholar +4 more sources
A Tree-Sequent Calculus for a Natural Predicate Extension of Visser's Propositional Logic
Logic Journal of IGPL, 2007 Ryo Ishigaki, Kentaro Kikuchi
semanticscholar +4 more sources
Some of the next articles are maybe not open access.
Related searches:
Related searches:
A predicate logical extension of a subintuitionistic propositional logic
Studia Logica, 2002zbMATH Open Web Interface contents unavailable due to conflicting licenses.
Ernst Zimmermann
openaire +3 more sources
On the Predicate Logic of Linear Kripke Frames and some of its Extensions [PDF]
Studia Logica, 2005 We propose a new, rather simple and short proof of Kripke-completeness for the predicate variant of Dummett's logic. Also a family of Kripke-incomplete extensions of this logic that are complete w.r.t. Kripke frames with equality (or equivalently, w.r.t. Kripke sheaves [8]), is described.
D. P. Skvortsov
openaire +2 more sources
On Conservative Extensions in Logics with Infinitary Predicates
Studia Logica, 2009 If the language is extended by new individual variables, in classical first order logic, then the deduction system obtained is a conservative extension of the original one. This fails to be true for the logics with infinitary predicates. But it is shown that restricting the commutativity of quantifiers and the equality axioms in the extended system and
Miklós Ferenczi
openaire +3 more sources
Predicate Logical Extensions of some Subintuitionistic Logics
Studia Logica, 2009 The paper presents predicate logical extensions of some subintuitionistic logics. Subintuitionistic logics result if conditions of the accessibility relation in Kripke models for intuitionistic logic are dropped. The accessibility relation which interprets implication in models for the propositional base subintuitionistic logic considered here is ...
Ernst Zimmermann
openaire +3 more sources