Results 301 to 310 of about 165,831 (331)

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

Algebraic Characterizations for Universal Fragments of Logic

Mathematical Logic Quarterly, 1999
AbstractIn this paper we address our efforts to extend the well‐known connection in equational logic between equational theories and fully invariant congruences to other–possibly infinitary–logics. In the special case of algebras, this problem has been formerly treated by H. J. Hoehnke [10] and R. W. Quackenbush [14].
openaire   +2 more sources

THE RELEVANT FRAGMENT OF FIRST ORDER LOGIC

The Review of Symbolic Logic, 2015
AbstractUnder a proper translation, the languages of propositional (and quantified relevant logic) with an absurdity constant are characterized as the fragments of first order logic preserved under (world-object) relevant directed bisimulations. Furthermore, the properties of pointed models axiomatizable by sets of propositional relevant formulas have ...
openaire   +2 more sources

Lattice logic as a fragment of (2-sorted) residuated modal logic

Journal of Applied Non-Classical Logics, 2018
ABSTRACTCorrespondence and Shalqvist theories for Modal Logics rely on the simple observation that a relational structure F=(W,R) is at the same time the basis for a model of modal logic and for a model of first-order logic with a binary predicate for the accessibility relation.
openaire   +1 more source

On Constructive Fragments of Classical Logic

2014
In the late twenties and early thirties of the last century several results were obtained concerning relations between classical logic (CL) and intuitionistic logic. Glivenko, Kolmogorov, Godel, Gentzen and Kuroda, this last appeared in 1950, provided well-known interpretations of classical logic into intuitionistic logic, in this way transferring ...
Luiz Carlos Pereira, Edward Hermann Haeusler   +1 more
openaire   +1 more source

Logical Fragments in Ibn Khaldūn’s Muqaddimah

2008
H.P. van Ditmarsch Abstract In this short contribution we briefly present life and times of Ibn Khaldūn, his magistral accomplishment in the Muqaddimah, and present Muqaddimah fragments related to logic and epistemology from the perspective of modern modal logic.
openaire   +1 more source

The logic of fragmentation

2020
openaire   +1 more source

Logic-in-memory based on an atomically thin semiconductor

Nature, 2020
Guilherme Migliato Marega, Ahmet Avsar, Zhenyu Wang   +2 more
exaly  

Gallium nitride-based complementary logic integrated circuits

Nature Electronics, 2021
Zheyang Zheng, Li Zhang, Han Xu
exaly