Results 291 to 300 of about 164,088 (328)

Quantum Logic as a Fragment of Independence-Friendly Logic

Journal of Philosophical Logic, 2002
The author presents his hypothesis that noncommuting variables are irreducibly interdependent in the logic connected with the foundations of quantum mechanics. The logic of such dependence relations is presented as independence-friendly logic, previously introduced by the author, which uses a sentence-initial contradictory negation over and above the ...
openaire   +1 more source

A Fragment of Intuitionistic Dynamic Logic

Fundamenta Informaticae, 2001
We present a fragment of Propositional Dynamic Logic based on the Intuitionistic Propositional Logic. We show that this logic has the finite model property, and therefore, is frame-complete.
openaire   +2 more sources

Fragments of First-Order Logic

2023
AbstractA sentence of first-order logic is satisfiable if it is true in some structure, and finitely satisfiable if it is true in some finite structure. For which fragments of first-order logic is there an effective method for determining satisfiability or finite satisfiability?
openaire   +2 more sources

Fragments of Default Logic

1989
In the previous chapter we furnished some insight in the use of fragments of default logic as delineated by the format of defaults they admit. The present chapter is devoted to the formal development of these fragments, including open problems.
openaire   +1 more source

On fragments of Medvedev's logic

Studia Logica, 1981
Medvedev's intermediate logic (MV) can be defined by means of Kripke semantics as the family of Kripke frames given by finite Boolean algebras without units as partially ordered sets. The aim of this paper is to present a proof of the theorem: For every set of connectivesΦ such that\(\{ \to , \vee , \urcorner \} \not \subseteq \Phi \subseteq \{ \to ...
openaire   +2 more sources

Belief Contraction Within Fragments of Propositional Logic

2016
Recently, belief change within the framework of fragments of propositional logic has gained attention. In the context of revision it has been proposed to refine existing operators so that they operate within propositional fragments, and that the result of revision remains in the fragment under consideration.
Creignou, Nadia, Ktari, Raïda, Papini, Odile   +2 more
openaire   +2 more sources

A correspondence between implicational fragment logics and fuzzy logics

2014 IEEE International Conference on Granular Computing (GrC), 2014
This research report treats a correspondence between implicational fragment logics and fuzzy logics from the viewpoint of their algebraic semantics. The authors introduce monotone BI-algebras by loosening the axiomatic system of BCK-algebras. Also, we extend the algebras of fuzzy logics with weakly-associative conjunction from the case of the unit real
Mayuka F. Kawaguchi, Michiro Kondo
openaire   +1 more source

Modal Logic and the Two-Variable Fragment

2001
We introduce a modal language L which is obtained from standard modal logic by adding the difference operator and modal operators interpreted by boolean combinations and the converse of accessibility relations. It is proved that L has the same expressive power as the two-variable fragment FO^2 of first-order logic but speaks less succinctly about ...
Lutz, C, Sattler, U, Wolter, F
openaire   +2 more sources

On superintuitionistic logics as fragments of proof logic extensions

Studia Logica, 1986
Let I be the intuitionistic propositional calculus, \(Grz=S4+\square (\square (p\to \square p)\to p)\to p\) be Grzegorczyk's logic, G be proof logic, i.e. the extension of classical propositional calculus by the new connective \(\Delta\), the axiom-schemes \(\Delta\) (p\(\to q)\to (\Delta p\to \Delta q)\) and \(\Delta\) (\(\Delta\) \(p\to p)\to \Delta ...
Kuznetsov, A. V., Muravitskij, A. Yu.
openaire   +1 more source

Interpolation in fragments of classical linear logic

Journal of Symbolic Logic, 1994
AbstractWe study interpolation for elementary fragments of classical linear logic. Unlike in intuitionistic logic (see [Renardel de Lavalette, 1989]) there are fragments in linear logic for which interpolation does not hold. We prove interpolation for a lot of fragments and refute it for the multiplicative fragment (→, +), using proof nets and quantum ...
openaire   +2 more sources