標(biāo)題: Titlebook: Algebraic Perspectives on Substructural Logics; Davide Fazio,Antonio Ledda,Francesco Paoli Book 2021 Springer Nature Switzerland AG 2021 S [打印本頁] 作者: chondrocyte 時(shí)間: 2025-3-21 18:09
書目名稱Algebraic Perspectives on Substructural Logics影響因子(影響力)
書目名稱Algebraic Perspectives on Substructural Logics影響因子(影響力)學(xué)科排名
書目名稱Algebraic Perspectives on Substructural Logics網(wǎng)絡(luò)公開度
書目名稱Algebraic Perspectives on Substructural Logics網(wǎng)絡(luò)公開度學(xué)科排名
書目名稱Algebraic Perspectives on Substructural Logics被引頻次
書目名稱Algebraic Perspectives on Substructural Logics被引頻次學(xué)科排名
書目名稱Algebraic Perspectives on Substructural Logics年度引用
書目名稱Algebraic Perspectives on Substructural Logics年度引用學(xué)科排名
書目名稱Algebraic Perspectives on Substructural Logics讀者反饋
書目名稱Algebraic Perspectives on Substructural Logics讀者反饋學(xué)科排名
作者: 叢林 時(shí)間: 2025-3-21 23:41
https://doi.org/10.1007/978-3-642-20904-8algebraic property introduced in a previous paper, and called .-congruence orderability therein. The equivalence of the four presentations, and in particular the extension of the twist-structure representation to the non-involutive case, is the main technical result of the paper. We hope, however, t作者: Expressly 時(shí)間: 2025-3-22 01:50 作者: 熱烈的歡迎 時(shí)間: 2025-3-22 05:41
,Residuated Operators and Dedekind–MacNeille Completion,orthomodular posets for which their Dedekind–MacNeille completion is an orthomodular lattice and we introduce the so-called strongly .-continuous pseudo-orthomodular posets. Finally we prove that, for a pseudo-orthomodular poset ., the Dedekind–MacNeille completion . is an orthomodular lattice if an作者: Rodent 時(shí)間: 2025-3-22 12:38
Quasi-Nelson; Or, Non-involutive Nelson Algebras,algebraic property introduced in a previous paper, and called .-congruence orderability therein. The equivalence of the four presentations, and in particular the extension of the twist-structure representation to the non-involutive case, is the main technical result of the paper. We hope, however, t作者: 怕失去錢 時(shí)間: 2025-3-22 15:09
1572-6126 interplay of algebra and proof theory -- has proved useful in providing a unifying framework for these investigations. The AsubL series of conferences, in particular, has played an 978-3-030-52165-3978-3-030-52163-9Series ISSN 1572-6126 Series E-ISSN 2212-7313 作者: mastoid-bone 時(shí)間: 2025-3-22 18:49
https://doi.org/10.1007/978-3-642-20904-8ement with a special category of MV-algebras. We will study states and state-morphisms, their topological properties, a Krein–Mil’man-type representation, and an integral representation. We show also a kind of the Loomis–Sikorski theorem. Finally, we present some results on free EMV-algebras.作者: ostensible 時(shí)間: 2025-3-22 22:28
,EMV-Algebras—Extended MV-Algebras,ement with a special category of MV-algebras. We will study states and state-morphisms, their topological properties, a Krein–Mil’man-type representation, and an integral representation. We show also a kind of the Loomis–Sikorski theorem. Finally, we present some results on free EMV-algebras.作者: Asparagus 時(shí)間: 2025-3-23 03:25 作者: 標(biāo)準(zhǔn) 時(shí)間: 2025-3-23 07:32 作者: 閃光東本 時(shí)間: 2025-3-23 11:49 作者: phlegm 時(shí)間: 2025-3-23 16:42 作者: Cabinet 時(shí)間: 2025-3-23 21:51
https://doi.org/10.1007/978-3-642-20904-8d the horizontal sum construction—that have been widely used in the investigation of both quantum structures and residuated structures. We provide axiomatisations of the varieties generated by certain sums of PBZ.–lattices, in particular of the variety generated by all horizontal sums of an orthomodular lattice and an antiortholattice.作者: 魯莽 時(shí)間: 2025-3-24 01:58 作者: rheumatism 時(shí)間: 2025-3-24 06:20 作者: 消音器 時(shí)間: 2025-3-24 09:51
Implication in Weakly and Dually Weakly Orthomodular Lattices,this can be realized in several different ways. Moreover, we reveal the connection of weakly and dually weakly orthomodular lattices to residuated structures. Furthermore, we provide a characterization of these lattices by means of certain generalized measures.作者: Congregate 時(shí)間: 2025-3-24 13:48 作者: 可忽略 時(shí)間: 2025-3-24 18:03
Hyperdoctrines and the Ontology of Stratified Semantics,recisely the same sentences. Completeness of RWQ for hyperdoctrinal semantics then follows from completeness for stratified semantics, which is proved in an appendix. By examining the base category of RW hyperdoctrines, we find reason to be worried about the ontology of stratified models.作者: Emg827 時(shí)間: 2025-3-24 21:48 作者: 熒光 時(shí)間: 2025-3-25 01:31
Implication in Weakly and Dually Weakly Orthomodular Lattices,e try to introduce an implication in these lattices which can be easily axiomatized and which yields a nice lattice structure. As shown in the paper, this can be realized in several different ways. Moreover, we reveal the connection of weakly and dually weakly orthomodular lattices to residuated str作者: inflate 時(shí)間: 2025-3-25 04:12
,Residuated Operators and Dedekind–MacNeille Completion,hen these operators are transformed into lattice terms and the poset . is completed to its Dedekind–MacNeille completion . then the complete lattice . becomes a residuated lattice with respect to these transformed terms. It is shown that this holds in particular for Boolean posets and for relatively作者: 大漩渦 時(shí)間: 2025-3-25 10:34 作者: 倔強(qiáng)一點(diǎn) 時(shí)間: 2025-3-25 11:51 作者: projectile 時(shí)間: 2025-3-25 17:47
Quasi-Nelson; Or, Non-involutive Nelson Algebras,De Morgan lattices, which are a non-involutive generalisation of De Morgan lattices due to Sankappanavar. We show that, similarly to the involutive case, our new class of algebras can be equivalently presented as (1) ., i.e.?models of the well-known Full Lambek calculus with exchange and weakening, 作者: antiquated 時(shí)間: 2025-3-25 20:11
Hyperdoctrines and the Ontology of Stratified Semantics,fter proving that RWQ is sound with respect to RW hyperdoctrines, we show how to construct, for each stratified model, a hyperdoctrine that verifies precisely the same sentences. Completeness of RWQ for hyperdoctrinal semantics then follows from completeness for stratified semantics, which is proved作者: Anticlimax 時(shí)間: 2025-3-26 02:07 作者: geriatrician 時(shí)間: 2025-3-26 06:07 作者: 胰島素 時(shí)間: 2025-3-26 08:51
Algebraic Perspectives on Substructural Logics978-3-030-52163-9Series ISSN 1572-6126 Series E-ISSN 2212-7313 作者: FLINT 時(shí)間: 2025-3-26 14:04 作者: NAVEN 時(shí)間: 2025-3-26 20:31 作者: arcane 時(shí)間: 2025-3-27 00:20
Editorial Introduction,After providing an overview of the algebraic investigations into substructural logics in a historical perspective, with a special focus on their relationships with quantum logics, we summarise the contents of the subsequent chapters of this volume.作者: glucagon 時(shí)間: 2025-3-27 04:40 作者: Impugn 時(shí)間: 2025-3-27 06:51 作者: 捐助 時(shí)間: 2025-3-27 13:20
978-3-030-52165-3Springer Nature Switzerland AG 2021作者: reperfusion 時(shí)間: 2025-3-27 14:37 作者: charisma 時(shí)間: 2025-3-27 21:01
https://doi.org/10.1007/978-3-642-20904-8e try to introduce an implication in these lattices which can be easily axiomatized and which yields a nice lattice structure. As shown in the paper, this can be realized in several different ways. Moreover, we reveal the connection of weakly and dually weakly orthomodular lattices to residuated str作者: Congeal 時(shí)間: 2025-3-27 23:20
https://doi.org/10.1007/978-3-642-20904-8hen these operators are transformed into lattice terms and the poset . is completed to its Dedekind–MacNeille completion . then the complete lattice . becomes a residuated lattice with respect to these transformed terms. It is shown that this holds in particular for Boolean posets and for relatively作者: 身體萌芽 時(shí)間: 2025-3-28 02:56
https://doi.org/10.1007/978-3-642-20904-8ttices and Kleene algebras with an extra unary operation. We study in the framework of PBZ.–lattices two constructions—the ordinal sum construction and the horizontal sum construction—that have been widely used in the investigation of both quantum structures and residuated structures. We provide axi作者: 扔掉掐死你 時(shí)間: 2025-3-28 06:34 作者: ESPY 時(shí)間: 2025-3-28 12:06 作者: Expertise 時(shí)間: 2025-3-28 15:44 作者: 哀悼 時(shí)間: 2025-3-28 20:35
9樓作者: defuse 時(shí)間: 2025-3-29 02:01
10樓作者: Distribution 時(shí)間: 2025-3-29 06:33
10樓作者: Melodrama 時(shí)間: 2025-3-29 10:20
10樓作者: 拍下盜公款 時(shí)間: 2025-3-29 14:19
10樓
