Results 301 to 310 of about 164,088 (328)

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

Current-driven magnetic domain-wall logic

Nature, 2020
Zhaochu Luo, Aleš Hrabec, Trong Phuong Dao   +2 more
exaly  

C–H functionalization logic in total synthesis

Chemical Society Reviews, 2011
Phil S Baran
exaly  

Molecules with a sense of logic: a progress report

Chemical Society Reviews, 2015
Joakim Andréasson, Uwe Pischel
exaly  

Tribotronic Logic Circuits and Basic Operations

Advanced Materials, 2015
Chi Zhang, Zhong Lin Wang
exaly